X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=validate;h=8f70811e411b93029afdd168af23599eb240e2f8;hp=42bb9b5720becb140dad69665b0a00a05e2eea7d;hb=32f2ee11b7288a53b89ea81ebdf4f8a74b707fed;hpb=83331f7e23838262be61e8ec2d78abcffd1a077e

diff --git a/validate b/validate
index 42bb9b5..8f70811 100644
--- a/validate
+++ b/validate
@@ -11,8 +11,9 @@ if [ -f mk/build.mk ]; then
 fi
 
 # The default is a "quick" build
-echo BuildFlavour=quick >mk/build.mk
-cat mk/build.mk.sample >>mk/build.mk
+echo BuildFlavour=quick >  mk/build.mk
+echo HADDOCK_DOCS=YES   >> mk/build.mk
+cat mk/build.mk.sample  >> mk/build.mk
 
 # You can override the default validate settings using mk/validate.mk
 # e.g. you could add GhcLibWays=p to test profiling.
@@ -27,13 +28,9 @@ case $OSTYPE in
 esac
 
 if [ "$CPUS" = "" ]; then
-   # ToDo: make -j doesn't work in libraries/ on Windows (see #1559)
-   case $OSTYPE in
-       cygwin|msys) threads=1;;
-       *)           threads=2;;
-   esac
+    threads=2
 else
-   threads=`expr $CPUS + 1`
+    threads=`expr $CPUS + 1`
 fi
 
 sh boot