# HG changeset patch
# User wenzelm
# Date 1388404693 -3600
# Node ID ce5faf131fd3ec29a47ec515e6cc6d445f2d44fd
# Parent  a9397557da562ae587b275782ed0f4f5805c3247
avoid hardwired /bin/bash (like canonical Isabelle shell scripts);

diff -r a9397557da56 -r ce5faf131fd3 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 30 12:43:06 2013 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 30 12:58:13 2013 +0100
@@ -303,7 +303,7 @@
     private val pid = stdout.readLine
 
     private def kill_cmd(signal: String): Int =
-      execute(true, "/bin/bash", "-c", "kill -" + signal + " -" + pid).waitFor
+      execute(true, "/usr/bin/env", "bash", "-c", "kill -" + signal + " -" + pid).waitFor
 
     private def kill(signal: String): Boolean =
     {