From 69b2ed1f0848b8a0f98def8cecd72af30b562229 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 4 Sep 2015 09:45:03 +0000 Subject: [PATCH] Makefile tests targets use Nailgun. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10622 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/Makefile b/prism/Makefile index 084d28af..bbe29d57 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -402,14 +402,14 @@ make_dirs: tests: testslocal @if [ -d ~/prism/prism-tests ]; then \ - cd ~/prism/prism-tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism; \ + cd ~/prism/prism-tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun; \ else \ echo "Skipping tests"; \ fi testslocal: @if [ -d tests ]; then \ - cd tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism; \ + cd tests && $(PWD)/etc/scripts/prism-auto -t -m . -p $(PWD)/bin/prism --nailgun; \ else \ echo "Skipping local tests"; \ fi