diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-07-27 11:31:21 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-07-27 11:31:21 +0000 |
| commit | 3bb278c944e2d90f6c99443bdc06a95f2e15697d (patch) | |
| tree | 56702f748e8ed6ebdb89f1684e3448e40364dd30 /testsuite/tests/lib-threads/testsignal2.runner | |
| parent | 9f2955dbeacab2a34ecd5230d3a20e09c8d7feaf (diff) | |
merge changes from 4.00 branching to 4.00.0 (part 2: testsuite)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/tests/lib-threads/testsignal2.runner')
| -rw-r--r-- | testsuite/tests/lib-threads/testsignal2.runner | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/lib-threads/testsignal2.runner b/testsuite/tests/lib-threads/testsignal2.runner index 0e368a924..e215ec6ed 100644 --- a/testsuite/tests/lib-threads/testsignal2.runner +++ b/testsuite/tests/lib-threads/testsignal2.runner @@ -3,4 +3,4 @@ pid=$! sleep 3 kill -INT $pid sleep 1 -kill -9 $pid || true +kill -9 $pid 2>&- || true |