Merge pull request #429 from idunham/numprocs
authorZhang Xianyi <traits.zhang@gmail.com>
Mon, 4 Aug 2014 00:12:23 +0000 (08:12 +0800)
committerZhang Xianyi <traits.zhang@gmail.com>
Mon, 4 Aug 2014 00:12:23 +0000 (08:12 +0800)
Fix link error on Linux/musl.


Trivial merge