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 (file)
index 0000000..4347fb6
--- /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 d1b447e7e1c76fd37e455455aadb797a05e6c1cc..3307b908c570688f61dea3f8510124cc1d63036d 100644 (file)
--- 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