chiark / gitweb /
Parallelise the build script.
authorSimon Tatham <anakin@pobox.com>
Fri, 1 Jun 2018 05:51:17 +0000 (06:51 +0100)
committerSimon Tatham <anakin@pobox.com>
Fri, 1 Jun 2018 06:24:15 +0000 (07:24 +0100)
commit5a697b3df94cec314fba99a3bf1e0de69fe88c09
tree7582678e3c56be160e6e8cb59692c78bfdd7fd84
parent85d87f4e8a8338449050a01cf3efa4e5d3d3b011
Parallelise the build script.

Using the new feature I added to bob where it defines the variable
'nproc' to give you a sensible value to use with make -j.
Buildscr