# HG changeset patch
# User wenzelm
# Date 1478025793 -3600
# Node ID 4c868fa9d79b32cb240905a4c71f4261dbd21efa
# Parent  075c077a6e2900b95855f83f40bbed93bcacf8a5
prefer standard_path for bash arg;

diff -r 075c077a6e29 -r 4c868fa9d79b src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Nov 01 15:12:45 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Nov 01 19:43:13 2016 +0100
@@ -107,12 +107,14 @@
         dump.deleteOnExit
         try {
           val cmd1 =
-            if (Platform.is_windows) List(cygwin_root1 + "\\bin\\bash", "-l") else Nil
-          val cmd2 =
-            List(isabelle_root1 + JFile.separator + "bin" + JFile.separator + "isabelle",
-              "getenv", "-d", dump.toString)
+            if (Platform.is_windows)
+              List(cygwin_root1 + "\\bin\\bash", "-l",
+                File.standard_path(isabelle_root1 + "\\bin\\isabelle"))
+            else
+              List(isabelle_root1 + "/bin/isabelle")
+          val cmd = cmd1 ::: List("getenv", "-d", dump.toString)
 
-          val (output, rc) = process_output(process(cmd1 ::: cmd2, env = env, redirect = true))
+          val (output, rc) = process_output(process(cmd, env = env, redirect = true))
           if (rc != 0) error(output)
 
           val entries =