A few bug fixes; some improvements spurred by paper writing

[ghc-hetmet.git] / validate

diff --git a/validate b/validate
index 5d0afb4..4e2352b 100644 (file)
--- a/validate
+++ b/validate
@@ -48,7 +48,7 @@ done
 if [ "$CPUS" = "" ]; then
     threads=2
 else
-    threads=`expr $CPUS + 1`
+    threads=$((($CPUS + 1) * 2)) # `expr $CPUS + 1`
 fi
 
 if [ $testsuite_only -eq 0 ]; then