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 7ba5f03b..3455bfe9 100644 --- a/src/interp/Makefile.pamphlet +++ b/src/interp/Makefile.pamphlet @@ -379,7 +379,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 |