aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-08-20 07:28:26 +0000
committerdos-reis <gdr@axiomatics.org>2012-08-20 07:28:26 +0000
commit49b79b4c722ebedc70c2a34b517649208e962447 (patch)
treea7954a23de070bfb71570093f5433803f475faa0
parent4fc6c2ba4569effe346fd6f498b6ab55afe446cf (diff)
downloadopen-axiom-49b79b4c722ebedc70c2a34b517649208e962447.tar.gz
* interp/Makefile.in: Simplify.
-rw-r--r--src/ChangeLog4
-rw-r--r--src/interp/Makefile.in14
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: