Skip to content

Commit

Permalink
Replace Unix.select with Unix.sleepf
Browse files Browse the repository at this point in the history
select had no arguments, so it's the same as a sleep.

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg committed Nov 23, 2020
1 parent ac4aa91 commit 64ed0d4
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;
ignore (Unix.select [] [] [] 0.001);
Unix.sleepf 0.001;
Mutex.lock mutex
done

Expand Down

0 comments on commit 64ed0d4

Please sign in to comment.