projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Make "./validate --slow" run the full testsuite
[ghc-hetmet.git]
/
validate
diff --git
a/validate
b/validate
index
245d0bd
..
4fd4495
100644
(file)
--- a/
validate
+++ b/
validate
@@
-98,7
+98,14
@@
then
rm -f $HPCTIXFILE
fi
rm -f $HPCTIXFILE
fi
-$make test stage=2 BINDIST=YES THREADS=$threads 2>&1 | tee testlog
+if [ "$slow" = YES ]
+then
+MAKE_TEST_TARGET=fulltest
+else
+MAKE_TEST_TARGET=test
+fi
+
+$make $MAKE_TEST_TARGET stage=2 BINDIST=YES THREADS=$threads 2>&1 | tee testlog
if [ "$hpc" = YES ]
then
if [ "$hpc" = YES ]
then