diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index 4267da98..0ec8f0e1 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -203,7 +203,7 @@ $(SAVESYS): database.date $(oa_target_datadir)/msgs/s2-us.msgs $(OBJS) $(oa_targ --prologue="(pushnew :open-axiom-basic-system *features*)" \ --make --output=$@ --main="BOOT::|systemMain|" \ --load-directory=. $(OBJS) - $(mkdir_p) $(oa_target_bindir) + .PHONY: all-axiomsys all-axiomsys: ${AXIOMSYS} |