summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog4
-rwxr-xr-xconfigure4
2 files changed, 6 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index a0110a2..99cefec 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -2,10 +2,12 @@
[task #5956 --- ``Automake'ify GNU Mach's code base'']
+ * configure: Regenerate.
+
* configure.ac <config.status.dep.patch>: Point to [bug #18011 ---
``GNU Mach: `make install-data' will build the ``to-be-generated
files''''].
-
+
* Makefile.in: Regenerate.
* Makefrag.am (include_mach_exec): Rename to `include_mach_eXec'.
diff --git a/configure b/configure
index df7c969..f55ce4c 100755
--- a/configure
+++ b/configure
@@ -8381,7 +8381,9 @@ fi
# 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.
+# suggest something better. TODO. See <http://savannah.gnu.org/bugs/?18011>
+# --- ``GNU Mach: `make install-data' will build the ``to-be-generated
+# files''''.
#