diff options
Diffstat (limited to 'src/interp/Makefile.in')
| -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 e7775f17..72fe016a 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -200,7 +200,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) |