diff options
Diffstat (limited to 'validate')
-rwxr-xr-x | validate | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -161,10 +161,12 @@ $make -C utils/checkUniques if [ $testsuite_only -eq 0 ]; then +thisdir=`pwd` + if [ $no_clean -eq 0 ]; then $make maintainer-clean NO_CLEAN_GMP=YES - INSTDIR=`pwd`/inst + INSTDIR="$thisdir/inst" if [ $use_dph -eq 1 ]; then perl -w boot --validate --required-tag=dph @@ -174,8 +176,6 @@ if [ $no_clean -eq 0 ]; then ./configure --prefix="$INSTDIR" $config_args fi -thisdir=`utils/ghc-pwd/dist-boot/ghc-pwd` - echo "Validating=YES" > mk/are-validating.mk echo "ValidateSpeed=$speed" >> mk/are-validating.mk echo "ValidateHpc=$hpc" >> mk/are-validating.mk |