Skip to content

Commit

Permalink
Use Thread.delay instead of sleepf for consistency
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg committed Nov 23, 2020
1 parent 64ed0d4 commit 3cc3724
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/dune_engine/scheduler.ml
Original file line number Diff line number Diff line change
Expand Up @@ -477,7 +477,7 @@ end = struct
let wait_win32 () =
while not (wait_nonblocking_win32 ()) do
Mutex.unlock mutex;
Unix.sleepf 0.001;
Thread.delay 0.001;
Mutex.lock mutex
done

Expand Down

0 comments on commit 3cc3724

Please sign in to comment.