Make hake.sh parallelism configurable (-j N)
authorDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 09:39:18 +0000 (11:39 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Fri, 28 Aug 2015 09:39:18 +0000 (11:39 +0200)
commit64da66f9fe22dd49511cbfd07ffd47962cb70016
treec221b9d10c27526457a6fa3458500ce3c42850ed
parent9c8913d6e6888bec91d4dd49abc5787b1c45f501
Make hake.sh parallelism configurable (-j N)

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/hake.sh