+# You can override the default validate settings using mk/validate.mk
+# e.g. you could add GhcLibWays=p to test profiling.
+echo '-include $(TOP)/mk/validate.mk' >>mk/build.mk
+
+case $OSTYPE in
+ cygwin|msys) config_args=--build=i386-unknown-mingw32
+ if [ -f c:/mingw/bin/gcc.exe ]; then
+ config_args="$config_args --with-gcc=c:/mingw/bin/gcc"
+ fi
+ ;;
+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
+else
+ threads=`expr $CPUS + 1`
+fi
+