set preemptive scheduling time to change threads every 555 microseconds, instead of every 20 milliseoncds (which was the default)

2025-09-10 01:52:16 +01:00
parent 95a07bcd92
commit fee8ba5207
1 changed files with 1 additions and 1 deletions
--- a/shell/shell.sml
+++ b/shell/shell.sml
@@ -79,4 +79,4 @@ struct
    end
 end

-val _ = RunCML.doit (Shell.main, NONE)
+val _ = RunCML.doit (Shell.main, SOME (Time.fromMicroseconds 555))