# HG changeset patch
# User wenzelm
# Date 1478818566 -3600
# Node ID d562e173ee0370d7bd3f82e502e47cabc08389d3
# Parent  e996c0a5eca9da5ebb6629637a233d82bfd181e3
proper shell_path for msys inside cygwin;

diff -r e996c0a5eca9 -r d562e173ee03 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Thu Nov 10 23:34:49 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Thu Nov 10 23:56:06 2016 +0100
@@ -37,7 +37,7 @@
       Platform_Info(
         options =
           List("--host=i686-w32-mingw32", "CPPFLAGS=-I/mingw32/include", "--disable-windows-gui"),
-        shell_path = "/mingw32/bin",
+        shell_path = "/usr/bin:/bin:/mingw32/bin",
         copy_files =
           List("/mingw32/bin/libgcc_s_dw2-1.dll",
             "/mingw32/bin/libgmp-10.dll",
@@ -46,7 +46,7 @@
       Platform_Info(
         options =
           List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"),
-        shell_path = "/mingw64/bin",
+        shell_path = "/usr/bin:/bin:/mingw64/bin",
         copy_files =
           List("/mingw64/bin/libgcc_s_seh-1.dll",
             "/mingw64/bin/libgmp-10.dll",