From: Ximin Luo <infinity0@debian.org>
Date: Thu, 20 Oct 2016 09:57:29 +0000 (+0200)
Subject: Allow test retries; seeing spurious failures most likely due to parallel bugginess
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~107
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4fb3526cdf013f0a6b23eb93c2accd10b7250788;p=ocaml.git

Allow test retries; seeing spurious failures most likely due to parallel bugginess
---

diff --git a/debian/rules b/debian/rules
index 4df28eb6..1b7e7fe4 100755
--- a/debian/rules
+++ b/debian/rules
@@ -289,6 +289,7 @@ ifneq (,$(filter $(DEB_BUILD_ARCH),$(SLOW_ARCHITECTURES)))
 	rm -f testsuite/tests/misc-unsafe/almabench.ml
 endif
 ifeq (,$(DEB_TEST_BUILD_PREFIX))
-	cd testsuite && make all
+# Allow test retries; seeing spurious failures most likely due to parallel bugginess
+	cd testsuite && make MAX_TESTSUITE_DIR_RETRIES=3 all
 endif
 endif