diff options
Diffstat (limited to 'otherlibs/threads/Tests/test2.ml')
| -rw-r--r-- | otherlibs/threads/Tests/test2.ml | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/otherlibs/threads/Tests/test2.ml b/otherlibs/threads/Tests/test2.ml deleted file mode 100644 index 926f09078f..0000000000 --- a/otherlibs/threads/Tests/test2.ml +++ /dev/null @@ -1,15 +0,0 @@ -let yield = ref false - -let print_message c = - for i = 1 to 10000 do - print_char c; flush stdout; - if !yield then Thread.yield() - done - -let _ = yield := (Array.length Sys.argv > 1) -let t1 = Thread.create print_message 'a' -let t2 = Thread.create print_message 'b' -let _ = Thread.join t1 -let _ = Thread.join t2 - -;; |