tree f4c61ff10b4b7158035f1e9c6ac52bd36e1fd6ff
parent 17be058a807e09bcbf93a7948b906be6c2d25d55
author Eric Newberry <enewberry@cs.arizona.edu> 1509574895 -0700
committer Eric Newberry <enewberry@cs.arizona.edu> 1509574968 -0700

build: allow Jenkins to specify number of waf build jobs

Change-Id: Idb58cdf572ab6a240300c9febbb2cfe9638e8233