diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-10-15 22:05:30 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:48 +0200 |
| commit | acfc921e67a4691f43a42e87f33b22fb8447dead (patch) | |
| tree | 24e542c6a5bacf6e126264243e54b66640cdb409 | |
| parent | 05ab180bd2319131b151602c2285373c8a178657 (diff) | |
2006-10-16 Thomas Schwinge <tschwinge@gnu.org>
* configure: Regenerate.
| -rw-r--r-- | ChangeLog | 2 | ||||
| -rwxr-xr-x | configure | 20 |
2 files changed, 11 insertions, 11 deletions
@@ -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 @@ -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. # |