From fcaab503fc49b220fdebc25aea3fc9eeb80ebd24 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 26 Nov 2020 09:48:29 +0100 Subject: [PATCH] Bow to check-typo --- testsuite/tests/lib-threads/bank.ml | 1 - testsuite/tests/lib-threads/sieve.ml | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/testsuite/tests/lib-threads/bank.ml b/testsuite/tests/lib-threads/bank.ml index 2c9295d87..0f080ad3e 100644 --- a/testsuite/tests/lib-threads/bank.ml +++ b/testsuite/tests/lib-threads/bank.ml @@ -42,4 +42,3 @@ let _ = printf "Final balance: %d\n" (get a); stop a; Thread.join th - diff --git a/testsuite/tests/lib-threads/sieve.ml b/testsuite/tests/lib-threads/sieve.ml index 4ea8eb0dc..d4cdd447e 100644 --- a/testsuite/tests/lib-threads/sieve.ml +++ b/testsuite/tests/lib-threads/sieve.ml @@ -14,7 +14,7 @@ stdout = "${output}" *) -(* This test is skipped in "runtime cleanup at exit" mode +(* This test is skipped in "runtime cleanup at exit" mode (OCAMLRUNPARAM contains c=1) because the cleanup in the main thread destroys condition variables that are waited for by other threads, causing a deadlock on some systems. *)