chiark / gitweb /
added some debug listings to jenkins makebuildserver script
authorMichael Pöhn <michael.poehn@fsfe.org>
Wed, 8 Mar 2017 11:29:18 +0000 (12:29 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:04:08 +0000 (20:04 +0200)
commitc54e0565d7c3a63d6b9dcfdb397d6a74b361a305
tree0f79ea8338213130b7f62d0d7d07fb802733a8e6
parent34cddd3be83e608d6ae60c7dd4a8ddd83b06d7a3
added some debug listings to jenkins makebuildserver script
jenkins-build-makebuildserver