validate: Use $make rather than make

In the validate script we are careful to use the $make variable as this
stores whether we are using gmake, make, quiet mode etc. There was just
this one place where we failed to use it.

Fixes #21598

1 files changed, 1 insertions, 1 deletions

diff --git a/validate b/validate
index bc7c9f1abe..e6a8d91563 100755
--- a/validate
+++ b/validate
@@ -294,7 +294,7 @@ if [ $build_only -eq 1 ] ||
             $hadrian binary-dist --docs=no-sphinx
             cfgdir="$(dirname "$(find $hadrian_build_root/bindist/ -name 'configure' | head -1)")"
             cd "$cfgdir"
-            ./configure --prefix="$basedir/$bindistdir" && make install
+            ./configure --prefix="$basedir/$bindistdir" && $make install
             cd "$basedir"
             "$ghc" -e 'Data.Text.IO.putStrLn (Data.Text.pack "bindist test: OK")'
         fi