temporary patch to work around a problem with BSD/ocamltest/fork

2019-02-05 16:06:51 +01:00 · 2019-02-05 16:06:51 +01:00 · 309bad6197
parent 0e3f15cb00
commit 309bad6197
1 changed files with 6 additions and 0 deletions
--- a/tools/ci/inria/main
+++ b/tools/ci/inria/main
@ -96,6 +96,12 @@ case "${OCAML_ARCH}" in
  bsd|macos|linux) renice 10 $$ ;;
 esac

+# work around a bug (in ocamltest maybe? -- to be investigated) that leaves
+# some processes running in an infinite loop after the tests are done
+case "${OCAML_ARCH}" in
+  bsd) ulimit -t 1800 ;;
+esac
+
 # be verbose and stop on error
 set -ex