diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 6cc27274..c01dfcc7 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -35,14 +35,11 @@ all-doc: all-book: cd booklets && ${MAKE} all-lib: - $(mkinstalldirs) $(OUT) - @cd lib && ${MAKE} + @cd lib && $(MAKE) $@ all-lisp: all-lib - $(mkinstalldirs) $(axiom_build_bindir) cd lisp && $(MAKE) all-lisp all-boot: all-lisp - $(mkinstalldirs) $(axiom_build_bindir) - @cd boot && ${MAKE} + @cd boot && $(MAKE) $@ all-depsys: all-boot cd interp && $(MAKE) all-depsys |