Makefile test targets used prism-auto.

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

prism/Makefile

@@ -339,14 +339,14 @@ make_dirs:
 
 tests: testslocal
 	@if [ -d ~/prism-tests ]; then \
-	  cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \
+	  cd ~/prism-tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism; \
 	else \
 	  echo "Skipping tests"; \
 	fi
 
 testslocal:
 	@if [ -d tests ]; then \
-	  cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \
+	  cd tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism; \
 	else \
 	  echo "Skipping local tests"; \
 	fi