# HG changeset patch
# User wenzelm
# Date 1358536607 -3600
# Node ID 983794d3b84fc1487511ec93af59497d81b5a756
# Parent  9efd58e1e07cc129c047b1913bf308a905d4d521
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;

diff -r 9efd58e1e07c -r 983794d3b84f Admin/Windows/Cygwin/isabelle/postinstall
--- 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