Option to run local tests only.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4303 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/Makefile

@@ -365,14 +365,16 @@ make_dirs:
 	  for lib in `ls *$(LIBSUFFIX)`; do ln -fs $$lib `echo $$lib | sed s/$(LIBSUFFIX)/.jnilib/`; done;); \
 	fi
 
-tests:
-	@if [ -d tests ]; then \
-	  cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \
-	fi
+tests: testslocal
 	@if [ -d ~/prism-tests ]; then \
 	  cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \
 	fi
 
+testslocal:
+	@if [ -d tests ]; then \
+	  cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \
+	fi
+
 bin_scripts: $(BIN_TARGETS)
 	@./install.sh silent