Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Do not set PROFILE_TASK environment variable
When this is set, the `--enable-optimizations` option becomes ineffective, as the profile task step is bypassed. closes #979
- Loading branch information