Makefile tweak re tests target (from prism-games).

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

prism/Makefile

@@ -367,12 +367,16 @@ make_dirs:
 
 tests: testslocal
 	@if [ -d ~/prism-tests ]; then \
-	  cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \
+	  cd ~/prism-tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \
+	else \
+	  echo "Skipping tests"; \
 	fi
 
 testslocal:
 	@if [ -d tests ]; then \
-	  cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=../bin/prism; \
+	  cd tests && $(MAKE) clean && $(MAKE) PRISM_EXEC=$(PWD)/bin/prism; \
+	else \
+	  echo "Skipping local tests"; \
 	fi
 
 bin_scripts: $(BIN_TARGETS)