diff options
Diffstat (limited to 'src/interp/Makefile.in')
| -rw-r--r-- | src/interp/Makefile.in | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index 501e50f4..73b7e13a 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -157,7 +157,7 @@ all: all-ax all-ax: stamp @echo finished $(srcdir) -stamp: $(AUTO) remove-stamp build-images +stamp: remove-stamp build-images $(STAMP) stamp .PHONY: remove-stamp @@ -168,7 +168,6 @@ remove-stamp: build-images: remove-stamp all-interpsys all-interpsys: - $(mkdir_p) $(AUTO) $(MAKE) $(SAVESYS) all-axiomsys: all-interpsys @@ -242,9 +241,6 @@ database.date: @ touch database.date -$(AUTO)/%.$(FASLEXT): %.$(FASLEXT) - @cp -p $< $@ - %.$(LNKEXT) %.$(FASLEXT): %.boot $(DRIVER) --execpath=$(BOOTSYS) --syslib=$(axiom_target_libdir) \ --compile --output=$@ --load-directory=. $< |