changeset 50977 | 983794d3b84f |
parent 50807 | c065f3d14197 |
child 50978 | 20edcc6a8def |
--- a/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 18:46:52 2013 +0100 +++ b/Admin/Windows/Cygwin/isabelle/postinstall Fri Jan 18 20:16:47 2013 +0100 @@ -1,7 +1,10 @@ -#!/bin/dash +#!/bin/bash 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