summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-07-26 16:50:17 -0400
committerBen Gamari <ben@well-typed.com>2019-10-06 23:40:00 -0400
commitcfaca3db2506bde7896a3b44c794bd86d2163e37 (patch)
treec9b3d37ef6283dcdab4ad30a2e56a7d5c0e68e4e
parent769321704445c21449d163b28acac2e8d2b9e897 (diff)
downloadhaskell-cfaca3db2506bde7896a3b44c794bd86d2163e37.tar.gz
validate: Use Hadrian's validate flavour
-rwxr-xr-xvalidate12
1 files changed, 9 insertions, 3 deletions
diff --git a/validate b/validate
index 36dd02479f..56c354ee59 100755
--- a/validate
+++ b/validate
@@ -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