aboutsummaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in5
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in
index 4a9dbc40..728200ef 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -361,6 +361,7 @@ OA_SRC_TARGETS = \
all-src \
all-algebra \
all-algstrap \
+ all-initdb \
all-asq \
all-axiomsys \
all-boot \
@@ -922,10 +923,6 @@ all: all-local
$(OA_SRC_TARGETS):
cd src && $(MAKE) $@
-.PHONY: all-algstrap
-all-algstrap: all-interpsys
- cd src/algebra && $(MAKE) $@
-
.PHONY: all-gcl
all-gcl: $(oa_builddir)/bin/gcl$(EXEEXT)