diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-03 21:42:52 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-10-04 23:28:21 +0200 |
| commit | aecf4a5f96d0d3ffcf4cb2c67a20a610d7c64486 (patch) | |
| tree | dee88bdac595798e79582ce3f39f55f824906ca2 /validate | |
| parent | 620fc6f909cd6e51b5613454097ec1c9f323839a (diff) | |
| download | haskell-aecf4a5f96d0d3ffcf4cb2c67a20a610d7c64486.tar.gz | |
Build system: don't create mk/are-validating.mk
A `make` build after running `./validate` earlier should use the normal
mk/build.mk settings, without having to manually delete the leftover
file mk/are-validating or run `make clean` first.
Reviewed by: austin
Differential Revision: https://phabricator.haskell.org/D1307
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 |