DroidFish: do 'apt-get update' twice
Try this workaround for fdroid/fdroiddata#1404.
This commit is contained in:
parent
e7659dd578
commit
1c78a330d6
|
@ -184,7 +184,7 @@ Build:1.68,76
|
||||||
Build:1.72,80
|
Build:1.72,80
|
||||||
commit=1.72
|
commit=1.72
|
||||||
subdir=DroidFish
|
subdir=DroidFish
|
||||||
sudo=apt update && \
|
sudo=apt update || apt update && \
|
||||||
apt install -y proguard-cli
|
apt install -y proguard-cli
|
||||||
prebuild=echo 'source.dir=src;../CuckooChessEngine/src' > ant.properties && \
|
prebuild=echo 'source.dir=src;../CuckooChessEngine/src' > ant.properties && \
|
||||||
echo 'proguard.jar=/usr/share/java/proguard.jar' >> local.properties
|
echo 'proguard.jar=/usr/share/java/proguard.jar' >> local.properties
|
||||||
|
|
Loading…
Reference in a new issue