Record ValidateSpeed and ValidateHpc in mk/are-validating.mk

This makes "make" keep working after a "./validate --fast".

1 files changed, 4 insertions, 2 deletions

diff --git a/validate b/validate
index eae6d01280..901d5419ae 100755
--- a/validate
+++ b/validate
@@ -90,9 +90,11 @@ fi
 
 thisdir=`utils/ghc-pwd/dist-boot/ghc-pwd`
 
-echo "Validating=YES" > mk/are-validating.mk
+echo "Validating=YES"       >  mk/are-validating.mk
+echo "ValidateSpeed=$speed" >> mk/are-validating.mk
+echo "ValidateHpc=$hpc"     >> mk/are-validating.mk
 
-$make -j$threads ValidateHpc=$hpc ValidateSpeed=$speed
+$make -j$threads
 # For a "debug make", add "--debug=b --debug=m"
 
 # -----------------------------------------------------------------------------