summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>2002-07-20 05:24:46 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-17 23:50:18 +0200
commit163bb85c18e8f9e30e2f14d27f091639fcf71d57 (patch)
tree826d24385d78ff22ee76a155a9ef8a9931291633
parentf00919d7063bb84d05a92438fc5c2d68ad684f39 (diff)
.
-rw-r--r--ChangeLog9
1 files changed, 9 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 3b74c49e..2ef73030 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2002-07-19 Roland McGrath <roland@frob.com>
+
+ * configure.in (force_install): New substituted variable,
+ set to yes/no by --enable-force-install.
+ * Makefile.in (force-install): New variable from configure.
+ [$(force_install) = yes]: Make installed headers depend on a force
+ target.
+ * configure: Regenerated.
+
2002-07-05 Roland McGrath <roland@frob.com>
* Makefile.in (kernel-%.o): Use -L$(OSKIT_LIBDIR)/.. switch.