jenkins: rename scripts based on jenkins.debian.net names

Make things self-documenting by reusing the exact same names everywhere.

diff --git a/jenkins-build b/jenkins-build-all
similarity index 97%
rename from jenkins-build
rename to jenkins-build-all
index 2b6106a17de8c65d8ecb2c3361ff63a20a645c55..2964a9f533cd8edf76d168417430295b766183e0 100755 (executable)
--- 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 3abcb30f8d32cf5122a3c598fee56b4ef307457c..026c5507e152f780d0af6025d7497983427122c2 100755 (executable)
--- 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 4fcdb218d49c8dc8f6ca55d059c4cfb8044bd9ca..65064d3bb737fa6a4b5ae67e8bc1f98be738a4be 100644 (file)
--- 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`"