I see that in the history of the linux template, that PROFILE_TASK was specifically set to a value and used across both invocation of make. However, I downloaded the 3.12.7 and 3.13.0 Dockerfiles to understand what it going on, and I enabled Docker's full logging and noticed that the profiling step does not get invoked.

It appears that this variable is now "" and then the Makefile just skips the step, thus essentially disabling the --enabled-optimization flag.

If someone could just confirm my findings and ensure I am not missing something, that would be awesome.

Thanks!