diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-01-25 20:22:48 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-01-25 20:22:48 +0100 |
| commit | 03845bb266bb5ed171dfe1cfe77f364b226f6576 (patch) | |
| tree | c916266287f8cd2bbe74c982e4a31d06014d947c | |
| parent | 0b5c8b35e32993aae6411ff6dcf416ba6c676b36 (diff) | |
| download | jenkins.debian.net-03845bb266bb5ed171dfe1cfe77f364b226f6576.tar.xz | |
reproducible fdroid: define workspace properly
| -rw-r--r-- | bin/reproducible_setup_fdroid_build_environment.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/reproducible_setup_fdroid_build_environment.sh b/bin/reproducible_setup_fdroid_build_environment.sh index 59041453..c9b7d181 100644 --- a/bin/reproducible_setup_fdroid_build_environment.sh +++ b/bin/reproducible_setup_fdroid_build_environment.sh @@ -13,6 +13,11 @@ common_init "$@" # common code . /srv/jenkins/bin/reproducible_common.sh +# 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 cd ~/.cache/fdroidserver @@ -24,8 +29,7 @@ sha256sum -c jessie32.box.sha256 export VAGRANT_HOME=$WORKSPACE/vagrant.d rm -rf $VAGRANT_HOME -# do I really want to run this? -cd $WORKSPACE +# FIXME: the git cloning should be part of the jenkins job… git clone https://gitlab.com/fdroid/fdroidserver.git cd fdroidserver ./makebuildserver |