diff --git a/prism/src/parser/Makefile b/prism/src/parser/Makefile index 67ea8fac..48aea17c 100644 --- a/prism/src/parser/Makefile +++ b/prism/src/parser/Makefile @@ -24,7 +24,7 @@ checks: fi; PrismParser.java: PrismParser.jj - javacc $< || echo "Warning: Did not recompile PrismParser.jj" + @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)/$<)