diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-07-26 16:50:17 -0400 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2019-10-06 23:40:00 -0400 |
commit | cfaca3db2506bde7896a3b44c794bd86d2163e37 (patch) | |
tree | c9b3d37ef6283dcdab4ad30a2e56a7d5c0e68e4e | |
parent | 769321704445c21449d163b28acac2e8d2b9e897 (diff) | |
download | haskell-cfaca3db2506bde7896a3b44c794bd86d2163e37.tar.gz |
validate: Use Hadrian's validate flavour
-rwxr-xr-x | validate | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -225,9 +225,15 @@ then $make -j$threads # For a "debug make", add "--debug=b --debug=m" else - # TODO: define a hadrian Flavour that mimics - # mk/flavours/validate.mk and use it here - $hadrian + case $speed in + SLOW) + flavour=slow-validate ;; + NORMAL) + flavour=validate ;; + FAST) + flavour=validate ;; + esac + $hadrian --flavour=$flavour fi check_packages post-build |