summaryrefslogtreecommitdiff
path: root/validate
diff options
context:
space:
mode:
authorAlina Banerjee <alina@glitchgirl.us>2021-06-02 22:52:14 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-07-27 12:01:15 -0400
commit9d8cb93ebda1ace9f0d736248dcb0436c9871b65 (patch)
tree4c0ae9c9f282437048c8a264c8f5da22bacc640e /validate
parent421110b53cde0f0bd6372ea72d1472e1179bd882 (diff)
downloadhaskell-9d8cb93ebda1ace9f0d736248dcb0436c9871b65.tar.gz
validate: update quick-validate flavour for validation with --fast
Diffstat (limited to 'validate')
-rwxr-xr-xvalidate18
1 files changed, 10 insertions, 8 deletions
diff --git a/validate b/validate
index 1ac68fb0f8..89dbb42b11 100755
--- a/validate
+++ b/validate
@@ -205,9 +205,19 @@ else
if [ $be_quiet -eq 0 ]; then
hadrian="$hadrian -V"
fi
+
echo "Hadrian command: $hadrian"
fi
+case $speed in
+SLOW)
+ flavour=slow-validate ;;
+NORMAL)
+ flavour=validate ;;
+FAST)
+ flavour=quick-validate ;;
+esac
+
if [ $build_only -eq 1 ] ||
{ [ $build_only -eq 0 ] && [ $testsuite_only -eq 0 ]; }; then
@@ -249,14 +259,6 @@ if [ $build_only -eq 1 ] ||
$make -j"$threads"
else
- case $speed in
- SLOW)
- flavour=slow-validate ;;
- NORMAL)
- flavour=validate ;;
- FAST)
- flavour=validate ;;
- esac
if [ $debugging -eq 1 ]; then
hadrian="$hadrian --debug"
fi