Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge pull request #9840 from dra27/fix-9839 (commit: 4b57077) (details)
Commit 4b57077048a9d6d79075755a18c9f79d0a8b9ba5 by david.allsopp
Merge pull request #9840 from dra27/fix-9839

Partial revert of 9165: don't build the compiler with -O3 in flambda

(cherry picked from commit 6ce1c60ca97ee962ebf5d5218628bc388536325e)
 (commit: 4b57077)
The file was modifiedotherlibs/Makefile.otherlibs.common (diff)
The file was modifiedstdlib/Makefile (diff)
The file was modifiedotherlibs/dynlink/Makefile (diff)
The file was modifiedMakefile.common.in (diff)
The file was modifiedotherlibs/systhreads/Makefile (diff)
The file was modifiedChanges (diff)