summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2006-10-15 22:05:30 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:26:48 +0200
commitacfc921e67a4691f43a42e87f33b22fb8447dead (patch)
tree24e542c6a5bacf6e126264243e54b66640cdb409
parent05ab180bd2319131b151602c2285373c8a178657 (diff)
2006-10-16 Thomas Schwinge <tschwinge@gnu.org>
* configure: Regenerate.
-rw-r--r--ChangeLog2
-rwxr-xr-xconfigure20
2 files changed, 11 insertions, 11 deletions
diff --git a/ChangeLog b/ChangeLog
index 061b6d9..a55337a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
2006-10-16 Thomas Schwinge <tschwinge@gnu.org>
+ * configure: Regenerate.
+
[bug #18011 --- ``GNU Mach: `make install-data' will build the
``to-be-generated files'''']
* config.status.dep.patch: Do an educated guess instead of using the
diff --git a/configure b/configure
index 1d61563..aedaf31 100755
--- a/configure
+++ b/configure
@@ -8373,17 +8373,15 @@ fi
# real patch is being used here and not some `sed' magic: to make it fail
# loudly in case.
#
-# For all source files create dependency files where it is stated that the
-# Makefile depends on all to-be-generated files. Later, when compiling the
-# source files, these dependency files will be rewritten to contain the files's
-# actual dependencies. From then on this hack will be forgotten. The choice
-# of the Makefile as the file to depends on is not be the best one, because
-# when running `make clean', the build system may decide to first build all the
-# to-be-genereated files and afterwards remove them again, but it works and I
-# don't want to spend more thoughts on this issue at the moment. Feel free to
-# suggest something better. TODO. See <http://savannah.gnu.org/bugs/?18011>
-# --- ``GNU Mach: `make install-data' will build the ``to-be-generated
-# files''''.
+# For all shipped source files a dependency file is tried to be created where
+# it is simply stated that the respective source file depends on _all_
+# to-be-generated files. Depending on all of them doesn't do any harm, as they
+# will nevertheless have to be created, sooner or later. The problem is, that
+# `config.status' doesn't know about the source file of the file it is
+# currently creating the dependency file for. So we have it do an educated
+# guess... Later, when compiling the source files, these dependency files will
+# be rewritten to contain the files's actual dependencies. From then on this
+# bootstrap hack will be forgotten.
#