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

Commits on Jul 10, 2019

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