diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-02-08 16:47:25 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-02-08 16:47:25 +0100 |
| commit | 410d20bd3db3436244da2468b2388102f7778aba (patch) | |
| tree | 0f4bb1b1fb3f44e54b940da01ecb597f468dc503 /bin/reproducible_setup_fdroid_build_environment.sh | |
| parent | ff64f188a3c2c3c75aef3386357aab949f6fe84f (diff) | |
| download | jenkins.debian.net-410d20bd3db3436244da2468b2388102f7778aba.tar.xz | |
reproducible fdroid: clone the fdroidserver.git as part of the jenkins job, so the job gets triggered when the git repo gets updated
Diffstat (limited to 'bin/reproducible_setup_fdroid_build_environment.sh')
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index 27128ba6..09d94747 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -43,9 +43,7 @@ sha256sum -c jessie32.box.sha256 export VAGRANT_HOME=$WORKSPACE/vagrant.d rm -rf $VAGRANT_HOME -# FIXME: the git cloning should be part of the jenkins job… cd $WORKSPACE -git clone https://gitlab.com/fdroid/fdroidserver.git cd fdroidserver echo "boot_timeout = 1200" > makebuildserver.config.py ./makebuildserver |