if [ $no_clean -eq 0 ]; then
if [ -f mk/config.mk ]; then
- make distclean
+ make maintainer-clean NO_CLEAN_GMP=YES
fi
+ INSTDIR=`pwd`/inst
+ if [ "$OSTYPE" = "cygwin" ]
+ then
+ INSTDIR=`cygpath -m "$INSTDIR"`
+ fi
case $OSTYPE in
cygwin|msys) config_args=--build=i386-unknown-mingw32
if [ -f c:/mingw/bin/gcc.exe ]
esac
sh boot
- ./configure "--prefix=`pwd`/inst" $config_args
+ ./configure --prefix="$INSTDIR" $config_args
fi
-thisdir=`utils/pwd/pwd forwardslash`
+thisdir=`utils/ghc-pwd/ghc-pwd`
echo "Validating=YES" > mk/are-validating.mk
that it is OK before pushing.
EOF
fi
+ cat <<EOF
+-------------------------------------------------------------------
+EOF
else
cat <<EOF
I didn't find any problems, but this wasn't a complete validate run,
NOTE: If you have made changes that may cause failures not tested for by
the minimal testing procedure, please do further testing as necessary.
+-------------------------------------------------------------------
EOF
fi
else
cat <<EOF
Oops! Looks like you have some unexpected test results or framework failures.
Please fix them before pushing/sending patches.
+-------------------------------------------------------------------
EOF
+ exit 1
fi
-echo "-------------------------------------------------------------------"