# HG changeset patch
# User wenzelm
# Date 1219513336 -7200
# Node ID 28a306e675baaa61a7a4525853bd512b55bace2b
# Parent  2cd133df758752cdb9a0a64a0ea5c397b9718d90
shell_prefix: physical /bin/env on Cygwin;

diff -r 2cd133df7587 -r 28a306e675ba src/Pure/Tools/isabelle_system.scala
--- a/src/Pure/Tools/isabelle_system.scala	Sat Aug 23 19:42:15 2008 +0200
+++ b/src/Pure/Tools/isabelle_system.scala	Sat Aug 23 19:42:16 2008 +0200
@@ -77,7 +77,7 @@
 
   def shell_prefix() = {
     if (Pattern.matches(".*-cygwin", getenv_strict("ML_PLATFORM")))
-      Some(platform_path("/usr/bin/env"))
+      Some(platform_path("/bin/env"))
     else None
   }