diff options
Diffstat (limited to 'src/etc/Makefile.in')
| -rw-r--r-- | src/etc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in index 1d2c05a5..211b41eb 100644 --- a/src/etc/Makefile.in +++ b/src/etc/Makefile.in @@ -34,7 +34,7 @@ DRIVER = ../driver/open-axiom$(EXEEX) INTERPSYS = \ $(DRIVER) --execpath=../interp/interpsys$(EXEEXT) \ --system="$(AXIOM)" \ - --sysalg="$(axiom_src_datadir)/algebra/" + --sysdb="$(axiom_src_datadir)/algebra/" openaxiom_databases = \ $(addprefix $(axiom_targetdir)/algebra/, \ |