Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add "--enable-optimizations" (and a slimmer PROFILE_TASK than the default of "run all tests")#404

Merged
yosifkit merged 1 commit intodocker-library:masterfrom
infosiftr:enable-optimizations
Jul 10, 2019
Merged

Add "--enable-optimizations" (and a slimmer PROFILE_TASK than the default of "run all tests")#404
yosifkit merged 1 commit intodocker-library:masterfrom
infosiftr:enable-optimizations

Commits