Skip to content
Blame Permalink
  • Matthew Pickering's avatar
    36b8a57c
    validate: Use $make rather than make · 36b8a57c
    Matthew Pickering authored and Marge Bot's avatar Marge Bot committed 
    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
    36b8a57c
    validate: Use $make rather than make
    Matthew Pickering authored and Marge Bot's avatar Marge Bot committed 
    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