diff options
author | dos-reis <gdr@axiomatics.org> | 2009-10-26 02:06:47 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-10-26 02:06:47 +0000 |
commit | d9bb3b6ba4d75814b63b3308e333f9d3ad8a85ee (patch) | |
tree | acb4aba1839527c628c1aa6eacc4eb4258d64fa4 /Makefile.in | |
parent | e23e15aa5c1a1e476fb022edaefe95f5fbe9c97e (diff) | |
download | open-axiom-d9bb3b6ba4d75814b63b3308e333f9d3ad8a85ee.tar.gz |
Remove duplicate libtool target
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 0d17416a..23268de1 100644 --- a/Makefile.in +++ b/Makefile.in @@ -14,7 +14,7 @@ SUBDIRS = src build_srcdir = $(builddir)/src -AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot \ +AXIOM_SRC_TARGETS = all-algebra all-asq all-axiomsys all-boot all-share \ all-clef all-doc all-graph all-hyper all-input all-interpsys \ all-lib all-lisp all-sman all-driver all-src all-databases @@ -44,9 +44,6 @@ stamp-rootdirs: $(axiom_build_document) @$(STAMP) stamp-rootdirs -libtool: $(LIBTOOL_DEPS) - $(SHELL) ./config.status --recheck - .PHONY: all-noweb all-noweb: $(axiom_build_bindir)/notangle |