Neels Hofmeyr 30f534f887 jenkins.sh: enable make distcheck ... Change-Id: I967d4de9682cb2a45210f689ec076ef457841179		2016-09-09 06:43:32 +00:00
..
jenkins.sh	jenkins.sh: enable make distcheck	2016-09-09 06:43:32 +00:00