src/Pure/System/bash.scala

--- a/src/Pure/System/bash.scala	Sat Aug 07 19:58:38 2021 +0200
+++ b/src/Pure/System/bash.scala	Sat Aug 07 21:25:47 2021 +0200
@@ -183,9 +183,9 @@
 
     // join
 
-    def join: Int =
+    def join(): Int =
     {
-      val rc = proc.waitFor
+      val rc = proc.waitFor()
       do_cleanup()
       rc
     }
@@ -218,7 +218,7 @@
         }
 
       val rc =
-        try { join }
+        try { join() }
         catch { case Exn.Interrupt() => terminate(); Process_Result.interrupt_rc }
 
       watchdog_thread.foreach(_.cancel())