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

Merge branch 'fix-backports' into 'master'

Browse source 
[buildserver] run update again after upgrade

See merge request fdroid/fdroidserver!1006
This commit is contained in:
Jochen Sprickerhof 2021-08-25 12:59:17 +00:00
commit 7c88bb09a5
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
buildserver/provision-apt-get-install
View file

@ -52,6 +52,9 @@ apt-get update || apt-get update
apt-get upgrade --download-only apt-get upgrade --download-only
apt-get upgrade apt-get upgrade
# again after upgrade in case of keyring changes
apt-get update || apt-get update
packages=" packages="
androguard/stretch-backports androguard/stretch-backports
ant ant