diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:08:54 +0300 |
|---|---|---|
| committer | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:08:54 +0300 |
| commit | 3abce31d6afdbbcb67b9dd5a160643a06d092861 (patch) | |
| tree | 20e1b780b8a8b77544647b3ac0449fbd744238ce /build/config.cfg | |
| parent | f13b5c416776498bdb7e8722016e14aaba442bfa (diff) | |
1. Disabled SmartGuide as it can thwart reproducible implementation.
2. Enabled multi-threading for MAP and PAR, the corresponding switch is -mt.
MAP supports -mt off|2, PAR supports -mt off|2|3|4. Please revert back to
-mt off if the build system has only two cores.
Diffstat (limited to 'build/config.cfg')
0 files changed, 0 insertions, 0 deletions