summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 16:57:20 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 16:57:20 +0200
commit71f3a1bb063087e51f2b2e2ef940e773e2e084d1 (patch)
tree424f694ff9f711623fb06a184309d44fd1ef9a06 /ast-to-instr
parentb16812434d54a9d7480564cbf4f299168ca6a1a1 (diff)
Other than the pretty-printer, it seems done.
Diffstat (limited to 'ast-to-instr')
-rw-r--r--ast-to-instr/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/ast-to-instr/Makefile b/ast-to-instr/Makefile
index 86a6d88..bb50219 100644
--- a/ast-to-instr/Makefile
+++ b/ast-to-instr/Makefile
@@ -52,6 +52,7 @@ $(MODEL_DIR)/structural.mod: $(CLASSES) $(AST_FILE)
clean:
rm -f $(CLASSES)
rm -f $(MODEL_DIR)/*.mod
+ rm -f $(MODEL_DIR)/*.map
%.class: %.java
$(JAVAC) -cp $(CLASSPATH) $<