| changeset 51042 | f024975be336 |
| parent 47763 | 15936c7b2fa3 |
| child 56958 | b2c2f74d1c93 |
--- a/Admin/polyml/build Sun Jan 20 15:35:01 2013 +0100 +++ b/Admin/polyml/build Mon Jan 21 16:33:54 2013 +0100 @@ -92,3 +92,7 @@ mv "$SOURCE/$TARGET/lib/"* "$TARGET/" rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib" rm -rf "$SOURCE/$TARGET/share" + +if [ "$TARGET" = x86-cygwin ]; then + peflags -x8192000 -z500 "$TARGET/poly.exe" +fi