diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
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) |