summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-07-26 16:50:17 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-10-08 05:11:03 -0400
commitab311696539548494db488d2322aafcc4e2c7f4c (patch)
tree9bcb46c164f446ca5324556af1d7fd04298d5948
parent9a2798e139e3d20183b59bb5a66012db495c66c7 (diff)
downloadhaskell-ab311696539548494db488d2322aafcc4e2c7f4c.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