From 7879d45597a112f0cd83601cc9209ebfbfd90dbc Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 26 Mar 2021 18:31:11 +0100
Subject: build-knecht: wait some time if everything was built successfully

---
 build-knecht | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/build-knecht b/build-knecht
index 7ba1b26..52a7a05 100755
--- a/build-knecht
+++ b/build-knecht
@@ -22,11 +22,13 @@ if ! git -C "${home_dir}/archlinuxewe" pull --ff-only; then
   >&2 echo 'Cannot update archPackages repository.'
 fi
 
-"${home_dir}/archlinuxewe/archPackagesUpdate" \
+if "${home_dir}/archlinuxewe/archPackagesUpdate" \
   --no-abortOnMakepkgError \
-  --arch "${arch}" \
-|| "${home_dir}/archlinuxewe/archPackagesUpdate" \
-  --cleanChroot \
-  --arch "${arch}"
-
-true
+  --arch "${arch}"; then
+  sleep 60
+else
+  "${home_dir}/archlinuxewe/archPackagesUpdate" \
+    --cleanChroot \
+    --arch "${arch}" \
+  || true
+fi
-- 
cgit v1.2.3-54-g00ecf