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-22 23:48:26 -0500 |
| commit | 9d385dafb57e9dc16b6c4c4e4376ebf246da545e (patch) | |
| tree | 85f777b3d1ca49b642327e6d4e94a6ef6a843fee /build/.gitignore | |
| parent | e674efe39544ef0ecb028a8d9cc16306a254532a (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/.gitignore')
0 files changed, 0 insertions, 0 deletions