Admin/Windows/Cygwin/isabelle/postinstall
author wenzelm
Fri, 18 Jan 2013 20:24:51 +0100
changeset 50978 20edcc6a8def
parent 50977 983794d3b84f
child 51042 f024975be336
permissions -rwxr-xr-x
more uniform permissions;

#!/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
mkgroup -l >/etc/group