mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 06:30:27 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jenkins: update fdroiddata if existing

Browse source 
Also, when cloning, no need to specify the branch and only download that
one. We already have only a single branch. And forcing master isn't
necessary.
This commit is contained in:
Daniel Martí 2016-02-25 14:47:31 +00:00
parent 261cbcd3ee
commit 896d7240aa
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
jenkins-build-makebuildserver
View file

@ -49,10 +49,14 @@ echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
./makebuildserver
# this can be handled in the jenkins job, or here:
if [ ! -e fdroiddata ]; then
git clone --depth 1 --branch master --single-branch \
https://gitlab.com/fdroid/fdroiddata.git fdroiddata
if [ -e fdroiddata ]; then
cd fdroiddata
git pull
cd ..
else
git clone --depth 1 https://gitlab.com/fdroid/fdroiddata.git fdroiddata
fi
cd fdroiddata
echo "build_server_always = True" > config.py
../fdroid build info.guardianproject.checkey