changeset 51992 | 983794d3b84f |
parent 51822 | c065f3d14197 |
child 51993 | 20edcc6a8def |
1.1 --- a/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 18:46:52 2013 +0100 1.2 +++ b/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 20:16:47 2013 +0100 1.3 @@ -1,7 +1,10 @@ 1.4 -#!/bin/dash 1.5 +#!/bin/bash 1.6 1.7 PATH=/bin 1.8 1.9 +CONTRIB="$(cygpath -u "$(cygpath -w /)\..")" 1.10 +peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe" 1.11 + 1.12 bash /etc/postinstall/base-files-mketc.sh.done 1.13 1.14 mkpasswd -l >/etc/passwd