The Shake build system needs to use this.
@bgamari failed on ghc-stage1 running out of memory. Can't see how this may be related to the proposed change...
I've tried to follow current behaviour. That is to just print warning. If you like to fail hard in this case, then we should do that before generating all config files and that means at the place of checkMake380 probably.