From d126a8ae2177d328fa5dea203b4dd61261e5795f Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 8 Sep 2016 14:53:01 +0000 Subject: [PATCH] prism/Makefile: remove lib/prism.jar on clean If lib/prism.jar exists (built by 'binary' target), it takes precedence over newly compiled .class files. This is confusing, as changing some sources, running 'make clean all' and then running PRISM results in the "old" behaviour contained in lib/prism.jar. Now, we remove lib/prism.jar on 'make clean'. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11789 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/Makefile b/prism/Makefile index 9a045282..6902132f 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -533,6 +533,7 @@ clean: checks done; \ find $(CLASSES_DIR) -name '*.class' -exec rm {} \; ; \ rm -f lib/*jnilib; \ + rm -f lib/prism.jar; \ rm -f $(BIN_PRISM) $(BIN_XPRISM) $(BIN_PRISM_BAT) $(BIN_XPRISM_BAT) ) celan: clean