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 4804f25b..55cea06a 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -216,7 +216,7 @@ ${AXIOMSYS}: database.date \ $(BOOTSYS) -- \ --system="$(AXIOM)/" \ --sysalg="$(axiom_targetdir)/algebra/" \ - --prologue="(pushnew :open-axiom-basic-system *features*)" \ + --prologue="(pushnew :open-axiom-algebra-system *features*)" \ --make --output=$@ --main="BOOT::|systemMain|" \ --load-directory=. $(OBJS) makeint.$(LNKEXT) @ echo 6a $@ created |