# HG changeset patch
# User wenzelm
# Date 1478877046 -3600
# Node ID 979520c83f30cca38ec88a9e971a93e56c6927d2
# Parent  a2eebcc8bb696c9752a8c13e7c1b1083f43153ce
proper CONFIG_SITE for msys;

diff -r a2eebcc8bb69 -r 979520c83f30 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 15:24:56 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 16:10:46 2016 +0100
@@ -37,7 +37,9 @@
       Platform_Info(
         options =
           List("--host=i686-w32-mingw32", "CPPFLAGS=-I/mingw32/include", "--disable-windows-gui"),
-        setup = "PATH=/usr/bin:/bin:/mingw32/bin",
+        setup =
+          """PATH=/usr/bin:/bin:/mingw32/bin
+            export CONFIG_SITE=/etc/config.site""",
         copy_files =
           List("/mingw32/bin/libgcc_s_dw2-1.dll",
             "/mingw32/bin/libgmp-10.dll",
@@ -46,7 +48,9 @@
       Platform_Info(
         options =
           List("--host=x86_64-w64-mingw32", "CPPFLAGS=-I/mingw64/include", "--disable-windows-gui"),
-        setup = "PATH=/usr/bin:/bin:/mingw64/bin",
+        setup =
+          """PATH=/usr/bin:/bin:/mingw64/bin
+            export CONFIG_SITE=/etc/config.site""",
         copy_files =
           List("/mingw64/bin/libgcc_s_seh-1.dll",
             "/mingw64/bin/libgmp-10.dll",