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`"