diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_setup_fdroid_build_environment.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index b1ff481a..d4c8d146 100755 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -16,7 +16,6 @@ common_init "$@" # define work space (differently than jenkins would normally do as we run via ssh on a different node…) WORKSPACE=$BASE/fdroid mkdir -p $WORKSPACE -cd $WORKSPACE # make sure we have the vagrant box image cached test -e ~/.cache/fdroidserver || mkdir -p ~/.cache/fdroidserver @@ -30,6 +29,7 @@ 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 ./makebuildserver |