diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2020-11-25 19:26:02 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-25 19:26:02 +0100 |
| commit | 10c91b3a8d6a526b847a4d3995b452e568627473 (patch) | |
| tree | d2efe5a51fb08b295cf6195ab794eda492053311 /Makefile.build_config.in | |
| parent | c550639317c16851c91170d2111ca44ae1784f4b (diff) | |
| download | ocaml-10c91b3a8d6a526b847a4d3995b452e568627473.tar.gz | |
Skip the "sieve.ml" test in "cleanup at exit" runtime mode
Deadlocks can occur due to finalizing a condition variable that is still
waited on by other threads.
Diffstat (limited to 'Makefile.build_config.in')
0 files changed, 0 insertions, 0 deletions