From 1c78a330d6b079d7e4f06cc5c768b254fe7ea0d5 Mon Sep 17 00:00:00 2001
From: relan <email@hidden>
Date: Thu, 3 Jan 2019 11:12:39 +0300
Subject: [PATCH] DroidFish: do 'apt-get update' twice

Try this workaround for fdroid/fdroiddata#1404.
---
 metadata/org.petero.droidfish.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/metadata/org.petero.droidfish.txt b/metadata/org.petero.droidfish.txt
index 8d1a67d2b0..2711a59974 100644
--- a/metadata/org.petero.droidfish.txt
+++ b/metadata/org.petero.droidfish.txt
@@ -184,7 +184,7 @@ Build:1.68,76
 Build:1.72,80
     commit=1.72
     subdir=DroidFish
-    sudo=apt update && \
+    sudo=apt update || apt update && \
         apt install -y proguard-cli
     prebuild=echo 'source.dir=src;../CuckooChessEngine/src' > ant.properties && \
         echo 'proguard.jar=/usr/share/java/proguard.jar' >> local.properties