# 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 = {