diff options
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in index 11cddbbe..876618a3 100644 --- a/src/etc/Makefile.in +++ b/src/etc/Makefile.in @@ -59,8 +59,7 @@ stamp: $(openaxiom_databases) $(axiom_target_bindir)/asq$(EXEEXT) \ $(openaxiom_databases): ../algebra/*.NRLIB/code.$(FASLEXT) @ echo rebuilding databases... cp $(axiom_src_docdir)/topics.data ../algebra - (cd ../algebra ; \ - echo ')lisp (make-databases nil)' | $(INTERPSYS) ) + (cd ../algebra && $(INTERPSYS) --build-databases) mkdir -p $(axiom_targetdir)/algebra cp -p ../algebra/*.daase $(axiom_targetdir)/algebra cp -p ../algebra/libdb.text $(axiom_targetdir)/algebra |