diff options
Diffstat (limited to 'bin')
-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 |