+if [ $no_clean -eq 0 ]; then
+ if [ -f mk/config.mk ]; then
+ make distclean
+ fi
+
+ 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
+
+ sh boot
+ ./configure "--prefix=`pwd`/inst" $config_args
+fi
+
+thisdir=`utils/pwd/pwd forwardslash`
+
+make Validating=YES -j$threads ValidateHpc=$hpc ValidateSlow=$slow