1.1 --- a/Admin/polyml/build	Sun Jan 20 15:35:01 2013 +0100
     1.2 +++ b/Admin/polyml/build	Mon Jan 21 16:33:54 2013 +0100
     1.3 @@ -92,3 +92,7 @@
     1.4  mv "$SOURCE/$TARGET/lib/"* "$TARGET/"
     1.5  rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"
     1.6  rm -rf "$SOURCE/$TARGET/share"
     1.7 +
     1.8 +if [ "$TARGET" = x86-cygwin ]; then
     1.9 +  peflags -x8192000 -z500 "$TARGET/poly.exe"
    1.10 +fi