diff options
Diffstat (limited to 'src/Makefile.pamphlet')
| -rw-r--r-- | src/Makefile.pamphlet | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet index 2e6240a3..bff65b35 100644 --- a/src/Makefile.pamphlet +++ b/src/Makefile.pamphlet @@ -124,11 +124,7 @@ all-boot: all-lisp Once \Tool{bootsys} exists we need to build \Tool{interpsys}. <<interpdir>>= -ifeq (@axiom_use_x@,yes) all-interpsys: all-boot all-hyper -else -all-interpsys: all-boot -endif cd interp && ${MAKE} all-interpsys all-axiomsys: all-asq |