Admin/Windows/Cygwin/isabelle/postinstall
changeset 50977 983794d3b84f
parent 50807 c065f3d14197
child 50978 20edcc6a8def
equal deleted inserted replaced
50976:9efd58e1e07c 50977:983794d3b84f
     1 #!/bin/dash
     1 #!/bin/bash
     2 
     2 
     3 PATH=/bin
     3 PATH=/bin
       
     4 
       
     5 CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
       
     6 peflags -x8192000 -z500 "$CONTRIB/polyml-5.5.0/x86-cygwin/poly.exe"
     4 
     7 
     5 bash /etc/postinstall/base-files-mketc.sh.done
     8 bash /etc/postinstall/base-files-mketc.sh.done
     6 
     9 
     7 mkpasswd -l >/etc/passwd
    10 mkpasswd -l >/etc/passwd
     8 mkgroup -l >/etc/group
    11 mkgroup -l >/etc/group