From: Stephane Glondu <steph@glondu.net>
Date: Thu, 3 Sep 2020 14:24:19 +0000 (+0200)
Subject: Re-enable testpreempt test for now
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1~1^2~19
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=39805035bb81665a7d16277d09b07c6babd93efa;p=ocaml.git

Re-enable testpreempt test for now
---

diff --git a/debian/rules b/debian/rules
index 624ec5e3..696d6c11 100755
--- a/debian/rules
+++ b/debian/rules
@@ -277,9 +277,6 @@ ifeq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
 ifneq (,$(filter $(DEB_BUILD_ARCH),$(SLOW_ARCHITECTURES)))
 	rm -f testsuite/tests/misc-unsafe/almabench.ml
 endif
-# testpreempt test is too unreliable.
-# It failed at least once on kfreebsd and amd64.
-	rm -f testsuite/tests/lib-systhreads/testpreempt.ml
 ifneq (,$(findstring hurd,$(DEB_BUILD_ARCH)))
 	rm -f testsuite/tests/lib-threads/beat.ml
 	rm -f testsuite/tests/lib-systhreads/threadsigmask.ml