diff --git a/prism/src/pepa/compiler/Makefile b/prism/src/pepa/compiler/Makefile index 7b05b878..57a6e69b 100644 --- a/prism/src/pepa/compiler/Makefile +++ b/prism/src/pepa/compiler/Makefile @@ -32,7 +32,7 @@ checks: fi; $(PRISM_DIR_REL)/$(CLASSES_DIR)/$(THIS_DIR)/%.class: %.java - (cd ..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(PRISM_CLASSPATH) -h $(JNI_GEN_HEADER_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) + (cd ../..; $(JAVAC) -sourcepath $(THIS_DIR)/$(PRISM_DIR_REL)/$(SRC_DIR) -classpath $(PRISM_CLASSPATH) -h $(JNI_GEN_HEADER_DIR) -d $(THIS_DIR)/$(PRISM_DIR_REL)/$(CLASSES_DIR) $(THIS_DIR)/$<) clean: checks @rm -f $(CLASS_FILES)