OSDN Git Service

Make it possible to change the number of remote jobs
authorShinichiro Hamaji <hamaji@google.com>
Thu, 24 Sep 2015 07:22:44 +0000 (16:22 +0900)
committerShinichiro Hamaji <hamaji@google.com>
Thu, 24 Sep 2015 07:22:44 +0000 (16:22 +0900)
commitc1cba699701da30049fac564fe53c8448d19e9bd
tree8a678960c1729d2312b76c093029fbf7f7dd852d
parent964f06b1782da73150d2f8953a41208898580061
Make it possible to change the number of remote jobs

User can overwrite NINJA_REMOTE_NUM_JOBS for this purpose. The
number is passed to ninja instead of to kati so no we don't
need to regenerate a ninja file when a user changes this value.

Change-Id: I2ccfaaae4492d84a8b8045dff612cb5f6ebe2c79
core/goma.mk
core/ninja.mk