more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
authorwenzelm
Fri Jan 18 20:16:47 2013 +0100 (2013-01-18)
changeset 50977983794d3b84f
parent 50976 9efd58e1e07c
child 50978 20edcc6a8def
more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;
more generous initial C heap within VM;
proper executable;
Admin/Windows/Cygwin/isabelle/postinstall
     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