diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-19 13:55:35 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-20 10:45:10 -0400 |
commit | 36b8a57cb30c1374cce749b6f1554a2d438336b9 (patch) | |
tree | 3ccf03d5fe4810af943d726e205b1c3cd57a7618 /ghc | |
parent | a36d12ee19afa949da27ab73f082428830f3dba3 (diff) | |
download | haskell-36b8a57cb30c1374cce749b6f1554a2d438336b9.tar.gz |
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
Diffstat (limited to 'ghc')
0 files changed, 0 insertions, 0 deletions