diff options
Diffstat (limited to 'Makefile.pamphlet')
| -rw-r--r-- | Makefile.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.pamphlet b/Makefile.pamphlet index 2fdaa83c..540467c8 100644 --- a/Makefile.pamphlet +++ b/Makefile.pamphlet @@ -336,8 +336,7 @@ all-boot all-lisp all-depsys all-interpsys all-axiomsys \ endif $(AXIOM_SRC_TARGETS): - cd $(build_srcdir) && \ - $(MAKE) "PATH=$(axiom_abs_build_bindir):$(PATH)" $@ + cd $(build_srcdir) && $(MAKE) $@ <<rootdirs>> |