# HG changeset patch
# User wenzelm
# Date 1441900351 -7200
# Node ID 9e81e87f755b5ad61d2da364cb4f67ddb33ce92f
# Parent  82798c8bfa7fb0e31023cb4a903bcf51d1e93481
Unicode is standard in Poly/ML repository version;

diff -r 82798c8bfa7f -r 9e81e87f755b Admin/polyml/build
--- a/Admin/polyml/build	Thu Sep 10 17:32:30 2015 +0200
+++ b/Admin/polyml/build	Thu Sep 10 17:52:31 2015 +0200
@@ -64,11 +64,11 @@
     OPTIONS=()
     ;;
   x86-windows)
-    OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include -DUNICODE -D_UNICODE')
+    OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include')
     PATH="/mingw32/bin:$PATH"
     ;;
   x86_64-windows)
-    OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include -DUNICODE -D_UNICODE')
+    OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include')
     PATH="/mingw64/bin:$PATH"
     ;;
   *)