From e29332ead65ba8e60d3d68452fa7c1c8e68100f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= Date: Sun, 6 Oct 2024 11:35:12 +0200 Subject: [PATCH] build: add more retries in case of build failure --- tools/build_debian.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build_debian.sh b/tools/build_debian.sh index 33756b4d4..45d49f56b 100755 --- a/tools/build_debian.sh +++ b/tools/build_debian.sh @@ -260,7 +260,7 @@ if [ "${RETRY_BUILD}" != "0" ]; then cat <> debian/rules override_dh_auto_build: - dh_auto_build || dh_auto_build || dh_auto_build || dh_auto_build + dh_auto_build || dh_auto_build || dh_auto_build || dh_auto_build || dh_auto_build || dh_auto_build EOF fi