Neels Hofmeyr 4079b4a976 jenkins.sh: use sh instead of bash ... Change-Id: Ia65e960dc7d74e6bb7a2463316d09622e9788c97 Suggested-by: msuraev		2016-10-21 02:22:02 +02:00
..
jenkins.sh	jenkins.sh: use sh instead of bash	2016-10-21 02:22:02 +02:00