execute permissions missing (HEAD, windows, binary-dist)

[Ian Lynagh]

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.


Thanks
Ian