# HG changeset patch
# User wenzelm
# Date 1358782434 -3600
# Node ID f024975be336b5689e32981bbb14b9f828451981
# Parent  9b062fef2c911243800b64687f7bb4b49601fac8
better apply peflags at build time, to avoid antivirus getting nervous about changing executables;

diff -r 9b062fef2c91 -r f024975be336 Admin/Windows/Cygwin/isabelle/postinstall
--- a/Admin/Windows/Cygwin/isabelle/postinstall	Sun Jan 20 15:35:01 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/postinstall	Mon Jan 21 16:33:54 2013 +0100
@@ -2,9 +2,6 @@
 
 PATH=/bin
 
-CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
-peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
-
 bash /etc/postinstall/base-files-mketc.sh.done
 
 mkpasswd -l >/etc/passwd
diff -r 9b062fef2c91 -r f024975be336 Admin/polyml/build
--- 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