summaryrefslogtreecommitdiff
path: root/Makeconf
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-07-08 04:54:50 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-07-08 04:54:50 +0000
commit66bced68845ab1ebd9b90103faad07a53101bfd4 (patch)
tree884e7c881810e1e5b828b175ce7ddda6e9f7af3f /Makeconf
parent4e4028566c6dfb75b58850a301c56343b7b13adc (diff)
disable excessive cleverness for now...
Diffstat (limited to 'Makeconf')
-rw-r--r--Makeconf20
1 files changed, 10 insertions, 10 deletions
diff --git a/Makeconf b/Makeconf
index 16e1dac7..25a08168 100644
--- a/Makeconf
+++ b/Makeconf
@@ -268,20 +268,20 @@ relink:
# the effort.
# if this is the first level, then set librecord. Otherwise, read it in.
-ifeq ($(MAKELEVEL),0)
-librecord:=/tmp/hurd-make-$(shell echo $$$$)
-export librecord
-else
-include $(librecord)
-endif
+#ifeq ($(MAKELEVEL),0)
+#librecord:=/tmp/hurd-make-$(shell echo $$$$)
+#export librecord
+#else
+#include $(librecord)
+#endif
# How to create it.
-$(librecord):
- touch $(librecord)
+#$(librecord):
+# touch $(librecord)
# `libs' target depends on this.
-add-to-librecord:
- echo $(addprefix ../$(dir)/,$(targets)) : \; /bin/true >> $(librecord)
+#add-to-librecord:
+# echo $(addprefix ../$(dir)/,$(targets)) : \; /bin/true >> $(librecord)
# Building libraries from other directories. We force both libraries to be
# built if either is, because it will use the appropriate one even if the other