Admin/Windows/Cygwin/isabelle/postinstall
changeset 51042 f024975be336
parent 50978 20edcc6a8def
child 52672 8de4235298cb
--- 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