1.1 --- a/Admin/Windows/Cygwin/isabelle/postinstall	Sun Jan 20 15:35:01 2013 +0100
     1.2 +++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Jan 21 16:33:54 2013 +0100
     1.3 @@ -2,9 +2,6 @@
     1.4  
     1.5  PATH=/bin
     1.6  
     1.7 -CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
     1.8 -peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
     1.9 -
    1.10  bash /etc/postinstall/base-files-mketc.sh.done
    1.11  
    1.12  mkpasswd -l >/etc/passwd

     2.1 --- a/Admin/polyml/build	Sun Jan 20 15:35:01 2013 +0100
     2.2 +++ b/Admin/polyml/build	Mon Jan 21 16:33:54 2013 +0100
     2.3 @@ -92,3 +92,7 @@
     2.4  mv "$SOURCE/$TARGET/lib/"* "$TARGET/"
     2.5  rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"
     2.6  rm -rf "$SOURCE/$TARGET/share"
     2.7 +
     2.8 +if [ "$TARGET" = x86-cygwin ]; then
     2.9 +  peflags -x8192000 -z500 "$TARGET/poly.exe"
    2.10 +fi