execute permissions missing (HEAD, windows, binary-dist)
igloo at earth.li
Sun Dec 16 17:50:59 EST 2007
On Sun, Nov 18, 2007 at 11:37:06PM -0000, Claus Reinke wrote:
> two permissions issues:
> - make binary-dist fails because an execute permission isn't set
> /bin/sh: ../distrib/prep-bin-dist-mingw: Permission denied
I've just looked into this - the reason it hasn't come up before seems
to be that in a cygwin shell you can execute it like that even when it
doesn't have the executable permission set. I'll fix it.
> - in binary distributions, the execute permission for ghcii.sh isn't set
I'll look into this too.
More information about the Cvs-ghc