diff options
Diffstat (limited to 'src/etc/Makefile.in')
-rw-r--r-- | src/etc/Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in index f67bc3a7..66e93c63 100644 --- a/src/etc/Makefile.in +++ b/src/etc/Makefile.in @@ -1,7 +1,5 @@ -INTERPSYS= \ - AXIOM="$(AXIOM)" \ - DAASE="$(axiom_src_datadir)" \ - ../interp/interpsys$(EXEEXT) +INTERPSYS = ../interp/interpsys$(EXEEXT) -- --system="$(AXIOM)" \ + --sysalg="$(axiom_src_datadir)/algebra/" subdir = src/etc/ |