Neels Hofmeyr 6648fe8f1e jenkins.sh: don't build twice ... Instead of building the same .c files twice, rather verify that the 'make regen' target produces identical .c files as are checked in. Change-Id: I18e7677d8596f61b883e9db57b4bdd2a5c154ec3		2016-09-09 06:43:30 +00:00
..
jenkins.sh	jenkins.sh: don't build twice	2016-09-09 06:43:30 +00:00