src/Pure/System/isabelle_system.scala

 
     // signals
 
     private val pid = stdout.readLine
 
+    private def kill_cmd(signal: String): Int =
+      execute(true, "/bin/bash", "-c", "kill -" + signal + " -" + pid).waitFor
+
     private def kill(signal: String): Boolean =
     {
       try {
-        execute(true, "kill", "-" + signal, "--", "-" + pid).waitFor
-        execute(true, "kill", "-0", "--", "-" + pid).waitFor == 0
+        kill_cmd(signal)
+        kill_cmd("0") == 0
       }
       catch { case _: InterruptedException => true }
     }
 
     private def multi_kill(signal: String): Boolean =