X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=validate;h=b2c6771039c55a0105b3fb3f02a177ca08287fbe;hb=990faa74e434b1ab5578b36220a336c24cff834b;hp=b1491c2a031412d36a0c05b9af7a6e4528585f8f;hpb=81553ffb241972290b4ea846c9fa73d9bfcb015b;p=ghc-hetmet.git

diff --git a/validate b/validate
index b1491c2..b2c6771 100644
--- a/validate
+++ b/validate
@@ -1,5 +1,11 @@
 #!/bin/sh
 
+# Flags:
+#   --no-clean:       don't make clean first, just carry on from
+#                     a previous interrupted validation run
+#   --testsuite-only: don't build the compiler, just run
+#                     the test suite
+
 set -e
 
 no_clean=0
@@ -43,13 +49,12 @@ else
 fi
 
 sh boot
-./configure $config_args
+./configure "--prefix=`pwd`/inst" $config_args
 
 make Validating=YES -j$threads
 fi # testsuite-only
 
-# ToDo: use THREADS=$threads, see #1558
-make Validating=YES -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 2>&1 | tee testlog
+make Validating=YES -C testsuite/tests/ghc-regress fast stage=2 CLEANUP=1 THREADS=$threads 2>&1 | tee testlog
 
 echo "-------------------------------------------------------------------"
 if