diff options
Diffstat (limited to 'validate')
| -rwxr-xr-x | validate | 18 |
1 files changed, 7 insertions, 11 deletions
@@ -174,9 +174,7 @@ 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 +make_settings="Validating=YES ValidateSpeed=$speed ValidateHpc=$hpc" # Note [Default build system verbosity]. # @@ -190,16 +188,14 @@ echo "ValidateHpc=$hpc" >> mk/are-validating.mk # `make -s`, when user explicitly asks for it with `./validate --quiet`. if [ $be_quiet -eq 1 ]; then # See Note [Default build system verbosity]. - echo "V=0" >> mk/are-validating.mk # Less gunk + make_settings="$make_settings V=0" fi if [ $use_dph -eq 1 ]; then - echo "BUILD_DPH=YES" >> mk/are-validating.mk -else - echo "BUILD_DPH=NO" >> mk/are-validating.mk + make_settings="$make_settings BUILD_DPH=YES" fi -$make -j$threads +$make -j$threads $make_settings # For a "debug make", add "--debug=b --debug=m" check_packages post-build @@ -209,8 +205,8 @@ check_packages post-build if [ $speed != "FAST" ]; then - $make binary-dist-prep - $make test_bindist TEST_PREP=YES + $make binary-dist-prep $make_settings + $make test_bindist TEST_PREP=YES $make_settings # # Install the xhtml package into the bindist. @@ -221,7 +217,7 @@ if [ $speed != "FAST" ]; then check_packages post-install - $make validate_build_xhtml BINDIST_PREFIX="$thisdir/$bindistdir" + $make validate_build_xhtml BINDIST_PREFIX="$thisdir/$bindistdir" $make_settings check_packages post-xhtml fi |