diff options
| author | Pavel V. Shatov (Meister) <meisterpaul1@yandex.ru> | 2018-08-18 02:08:54 +0300 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2019-01-23 14:26:58 -0500 |
| commit | 995f7178156c6f16484bbb7b8eed86ef86d222a8 (patch) | |
| tree | 9882c2a4816aa5ce9a73e51531a0e0cdb4ac5c95 /build/config.py | |
| parent | 0415949a1e64f7e28cd2d319cb317c4da2b41b67 (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.py')
0 files changed, 0 insertions, 0 deletions