ghc speed log build script

Reid Barton rwbarton at
Fri Feb 10 22:55:02 UTC 2017

Hi Joachim,

Is the script used to do the builds for available
somewhere? I couldn't find it poking around your GitHub repositories.

I assume from the line "Try to match validate settings" that the build
script creates a custom or similar. I'd like to know exactly what
it does so that I can experiment with custom build settings without
worrying about them being overridden by your build script.

Reid Barton
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list