src/Pure/System/bash.scala

--- a/src/Pure/System/bash.scala	Sat Apr 04 18:05:37 2020 +0200
+++ b/src/Pure/System/bash.scala	Sat Apr 04 18:13:05 2020 +0200
@@ -115,7 +115,7 @@
       while (running && count > 0) {
         if (kill(signal)) {
           Exn.Interrupt.postpone {
-            Thread.sleep(100)
+            Time.seconds(0.1).sleep
             count -= 1
           }
         }