From 3a04ec91b79c483f4bb78cf65f79a873183a258a Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 8 Nov 2017 09:40:10 +0100
Subject: [PATCH] jenkins: rename scripts based on jenkins.debian.net names

Make things self-documenting by reusing the exact same names everywhere.
---
 jenkins-build => jenkins-build-all                            | 4 ++++
 ...s-build-makebuildserver => jenkins-setup-build-environment | 3 +++
 jenkins-test                                                  | 3 +++
 3 files changed, 10 insertions(+)
 rename jenkins-build => jenkins-build-all (97%)
 rename jenkins-build-makebuildserver => jenkins-setup-build-environment (96%)

diff --git a/jenkins-build b/jenkins-build-all
similarity index 97%
rename from jenkins-build
rename to jenkins-build-all
index 2b6106a1..2964a9f5 100755
--- a/jenkins-build
+++ b/jenkins-build-all
@@ -3,6 +3,10 @@
 # this is the script run by the Jenkins server to run the build tests.  Be
 # sure to always run it in its dir, i.e. ./jenkins-build, otherwise it might
 # remove things that you don't want it to.
+#
+# runs here:
+# https://jenkins.debian.net/job/reproducible_fdroid_build_apps
+
 
 if [ `dirname $0` != "." ]; then
     echo "only run this script like ./`basename $0`"
diff --git a/jenkins-build-makebuildserver b/jenkins-setup-build-environment
similarity index 96%
rename from jenkins-build-makebuildserver
rename to jenkins-setup-build-environment
index 3abcb30f..026c5507 100755
--- a/jenkins-build-makebuildserver
+++ b/jenkins-setup-build-environment
@@ -1,4 +1,7 @@
 #!/bin/bash
+#
+# runs here:
+# https://jenkins.debian.net/job/reproducible_setup_fdroid_build_environment
 
 if [ `dirname $0` != "." ]; then
     echo "only run this script like ./`basename $0`"
diff --git a/jenkins-test b/jenkins-test
index 4fcdb218..65064d3b 100644
--- a/jenkins-test
+++ b/jenkins-test
@@ -3,6 +3,9 @@
 # this is the script run by the Jenkins server to run the tools tests.  Be
 # sure to always run it in its dir, i.e. ./jenkins-test, otherwise it might
 # remove things that you don't want it to.
+#
+# runs here:
+# https://jenkins.debian.net/job/reproducible_fdroid_test
 
 if [ `dirname $0` != "." ]; then
     echo "only run this script like ./`basename $0`"