Closed jonlawlor closed 8 years ago
This shaves maybe 1 minute off of CI time. There is a lot of variability in historical CI times, so it might be more or less.
PTAL @kortschak
I think not. I'm not trusting enough of netlib to allow different optimisation levels to be used in testing compared to production. Certainly not for a variable 10%.
Sorry about all this.
Not a problem.
This changes the make flags to only use -O0 when compiling (previously -O3 and -O2 were used), and avoids calling make test. Should be somewhat faster for compilation.