aboutsummaryrefslogtreecommitdiff
path: root/build/.gitignore
diff options
context:
space:
mode:
authorPavel V. Shatov (Meister) <meisterpaul1@yandex.ru>2018-08-18 02:08:54 +0300
committerPaul Selkirk <paul@psgd.org>2019-01-23 14:26:58 -0500
commit995f7178156c6f16484bbb7b8eed86ef86d222a8 (patch)
tree9882c2a4816aa5ce9a73e51531a0e0cdb4ac5c95 /build/.gitignore
parent0415949a1e64f7e28cd2d319cb317c4da2b41b67 (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