Merge pull request #725 from jeromerobert/make-nb-jobs
authorZhang Xianyi <traits.zhang@gmail.com>
Mon, 28 Dec 2015 18:48:49 +0000 (12:48 -0600)
committerZhang Xianyi <traits.zhang@gmail.com>
Mon, 28 Dec 2015 18:48:49 +0000 (12:48 -0600)
Allow to force the number of parallel make job


Trivial merge