mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 14:32:28 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Upgrade Buildserver VM

Browse source 
Use Vagrant boxes built with cloud-team/debian-vagrant-images instead of fdroid/basebox,
Use Debian Bullseye (11) instead of Debian Stretch (9)
This commit is contained in:
FestplattenSchnitzel 2021-09-03 12:18:13 +02:00 • committed by Hans-Christoph Steiner
parent 7accb96b9e
commit df46eb86c3
7 changed files with 29 additions and 84 deletions
Download patch file Download diff file Expand all files Collapse all files

2
jenkins-build-all
View file

@ -62,7 +62,7 @@ vagrant global-status \
# so we need to "manually" clone the git repo here…
cd $WORKSPACE
# set up Android SDK to use the Debian packages in stretch
# set up Android SDK to use the Debian packages
export ANDROID_HOME=/usr/lib/android-sdk
# now build the whole archive