From: Stephane Glondu <steph@glondu.net>
Date: Mon, 29 Jul 2019 10:50:07 +0000 (+0200)
Subject: Tune testpreempt test to make it work on kfreebsd
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~2^2~17^2~21
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=aded38f68e65dd3b134932a141d98208b13559dd;p=ocaml.git

Tune testpreempt test to make it work on kfreebsd
---

diff --git a/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch b/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch
new file mode 100644
index 00000000..4347fb60
--- /dev/null
+++ b/debian/patches/0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch
@@ -0,0 +1,20 @@
+From: Stephane Glondu <steph@glondu.net>
+Date: Mon, 29 Jul 2019 12:49:31 +0200
+Subject: Tune testpreempt test to make it work on kfreebsd
+
+---
+ testsuite/tests/lib-systhreads/testpreempt.ml | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/testsuite/tests/lib-systhreads/testpreempt.ml b/testsuite/tests/lib-systhreads/testpreempt.ml
+index 11d6915..f4ef378 100644
+--- a/testsuite/tests/lib-systhreads/testpreempt.ml
++++ b/testsuite/tests/lib-systhreads/testpreempt.ml
+@@ -19,6 +19,7 @@ let rec generate_list n =
+   aux [] n
+ 
+ let rec long_computation time0 =
++  Thread.delay 0.1;
+   let long_list = generate_list 100000 in
+   let res = List.length (List.rev_map sin long_list) in
+   if Sys.time () -. time0 > 2. then
diff --git a/debian/patches/series b/debian/patches/series
index d1b447e7..3307b908 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,3 +5,4 @@
 0005-Check-for-definition-of-AT_SECURE-before-using-it.patch
 0006-Add-support-for-Debian-s-armhf-in-configure.ac.patch
 0007-Fix-spelling-errors-reported-by-Lintian.patch
+0008-Tune-testpreempt-test-to-make-it-work-on-kfreebsd.patch