diff options
author | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:28:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:28:26 +0000 |
commit | 49b79b4c722ebedc70c2a34b517649208e962447 (patch) | |
tree | a7954a23de070bfb71570093f5433803f475faa0 | |
parent | 4fc6c2ba4569effe346fd6f498b6ab55afe446cf (diff) | |
download | open-axiom-49b79b4c722ebedc70c2a34b517649208e962447.tar.gz |
* interp/Makefile.in: Simplify.
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/interp/Makefile.in | 14 |
2 files changed, 6 insertions, 12 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ebdb60e4..43486cc5 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/Makefile.in: Simplify. + +2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * input/sint.input.pamphlet: Use /\$SingleInteger, not defunct And$SingleInteger. diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index b222b8da..c7a6b3ce 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -159,23 +159,13 @@ UNUSED= ${DOC}/guess.boot.dvi \ all: all-ax -all-ax: stamp +all-ax: all-interpsys @echo finished $(srcdir) -stamp: remove-stamp build-images - $(STAMP) stamp - -.PHONY: remove-stamp -remove-stamp: - -rm -f stamp - -.PHONY: build-images -build-images: remove-stamp all-interpsys - all-interpsys: $(MAKE) $(SAVESYS) -all-axiomsys: all-interpsys +all-axiomsys: $(MAKE) $(AXIOMSYS) mostlyclean-local: |