chiark / gitweb /
jenkins-build: point to new dir named after the script
authorHans-Christoph Steiner <hans@eds.org>
Thu, 15 Jun 2017 15:20:38 +0000 (17:20 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 15 Jun 2017 15:21:35 +0000 (17:21 +0200)
commitca62f9c0b863140d530f77b5b3b27d8bcdc528c7
tree0ae53342fbc59c77e9ee50bb71f8d75b20e6f886
parent55980a45cc46123c63822616411f6ea533331963
jenkins-build: point to new dir named after the script

This changes out the arbitrary names used before.
jenkins-build