diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-07-08 04:54:50 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-08 04:54:50 +0000 |
commit | 66bced68845ab1ebd9b90103faad07a53101bfd4 (patch) | |
tree | 884e7c881810e1e5b828b175ce7ddda6e9f7af3f /Makeconf | |
parent | 4e4028566c6dfb75b58850a301c56343b7b13adc (diff) |
disable excessive cleverness for now...
Diffstat (limited to 'Makeconf')
-rw-r--r-- | Makeconf | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -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 |