don't make -ddump-if-trace imply -no-recomp

[ghc-hetmet.git] / validate

diff --git a/validate b/validate
index b1491c2..8f0f543 100644 (file)
--- 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,7 +49,7 @@ else
 fi
 
 sh boot
-./configure $config_args
+./configure "--prefix=`pwd`/inst" $config_args
 
 make Validating=YES -j$threads
 fi # testsuite-only