From c7b69b32aa545bc38f8a0b72af159a19de290cfa Mon Sep 17 00:00:00 2001
From: Florian Leeber <florian@ubports.com>
Date: Thu, 2 Jun 2022 09:01:27 +0200
Subject: [PATCH] Evaluate repo sync return code and stop in case of error

(cherry picked from commit 0a0e6d8cec5c63d797d7bf50f3e02a0942fe3b29)
---
 setup | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/setup b/setup
index 32706546..69742f09 100755
--- a/setup
+++ b/setup
@@ -35,6 +35,13 @@ else
     repo sync --network-only -c -j$JOBS -q $REPO_ARGS
     repo sync --local-only -c -j$JOBS -q $REPO_ARGS
 
+    # Bail out here if repo sync has an error. Else this can lead to corrupted builds
+    # It is not enough to rely on previous repo sync by the user
+    if [ $? -ne 0 ]; then
+        echo "repo sync failed, check your device manifest. Stopping..."
+        exit 1
+    fi
+    
     # Refresh the device & common repositories so apks and jars are not copied
     # For this to work, all apks and jars need to be removed from
     # device/$VENDOR/$DEVICE/*proprietary-files*.txt and