diff --git a/prism/src/parser/Makefile b/prism/src/parser/Makefile index fc6feb10..07a2f36f 100644 --- a/prism/src/parser/Makefile +++ b/prism/src/parser/Makefile @@ -29,7 +29,7 @@ checks: fi; PrismParser.java: PrismParser.jj - javacc $< + javacc $< || echo "Warning: Did not recompile PrismParser.jj" $(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class: %.java (cd ..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<)