Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_polyml.scala
changeset 64486 d562e173ee03
parent 64485 e996c0a5eca9
child 64487 b843bcdd40f0 
--- 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",
isabelle