Skip to content

Commit

Permalink
Merge pull request #3957 from rgrinberg/replace-select-sleep
Browse files Browse the repository at this point in the history
Replace Unix.select with Unix.sleepf
  • Loading branch information
rgrinberg authored Nov 23, 2020
2 parents ac4aa91 + 3cc3724 commit 92e1c27
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);
Thread.delay 0.001;
Mutex.lock mutex
done

Expand Down

0 comments on commit 92e1c27

Please sign in to comment.