From 8cff34fb12fad94a59d52b3788cda8733eda729f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 2 Jan 2012 00:16:53 +0000
Subject: [PATCH] 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 | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/prism/Makefile b/prism/Makefile
index f4587025..3d51b5a2 100644
--- a/prism/Makefile
+++ b/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