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
./configure --prefix="$INSTDIR" $config_args
fi
-thisdir=`utils/pwd/pwd`
+thisdir=`utils/ghc-pwd/ghc-pwd`
echo "Validating=YES" > mk/are-validating.mk
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 "-------------------------------------------------------------------"