From c1dce97640a73b935b4b033b83578754d9822e3c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 20 Mar 2012 14:24:19 +0000 Subject: [PATCH] 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 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 18e5b8e3..2d994847 100644 --- a/prism/Makefile +++ b/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