chiark / gitweb /
jenkins: rename scripts based on jenkins.debian.net names
authorHans-Christoph Steiner <hans@eds.org>
Wed, 8 Nov 2017 08:40:10 +0000 (09:40 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Wed, 8 Nov 2017 08:46:56 +0000 (09:46 +0100)
commit3a04ec91b79c483f4bb78cf65f79a873183a258a
treefd06d2baae39331859d8bf9fada4e1c961132459
parentd347f3ebb2201a2010bb209ad1bb12ae9989c662
jenkins: rename scripts based on jenkins.debian.net names

Make things self-documenting by reusing the exact same names everywhere.
jenkins-build-all [moved from jenkins-build with 97% similarity]
jenkins-setup-build-environment [moved from jenkins-build-makebuildserver with 96% similarity]
jenkins-test