diff options
Diffstat (limited to 'src/interp/Makefile.pamphlet')
| -rw-r--r-- | src/interp/Makefile.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/Makefile.pamphlet b/src/interp/Makefile.pamphlet index 7fde6536..e7d373d0 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -353,7 +353,7 @@ ${SAVESYS}: database.date \ $(axiom_targetdir)/algebra/exposed.$(FASLEXT) \ $(axiom_target_datadir)/msgs/s2-us.msgs \ $(ASAUTO) $(TRANOBJS) $(OBJS) makeint.$(LNKEXT) - $(BOOTSYS) -- --system="$(AXIOM)/" \ + $(BOOTSYS) -- --system="$(AXIOM)/" --system-algebra \ --sysalg="$(axiom_src_datadir)/algebra/" \ --make --output=$@ --main="BOOT::|restart|" \ --load-directory=. $(OBJS) makeint.$(LNKEXT) |