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

[buildserver] run update again after upgrade

Browse source
This commit is contained in:
Felix C. Stegerman 2021-08-25 14:51:20 +02:00
parent e80269fb48
commit 779a592ea0
No known key found for this signature in database
GPG key ID: B218FF2C27FC6CC6
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