Don't use wildcards in Porting/exec-bit.txt
authorSteve Hay <steve.m.hay@googlemail.com>
Sun, 19 Sep 2010 17:25:25 +0000 (18:25 +0100)
committerSteve Hay <steve.m.hay@googlemail.com>
Sun, 19 Sep 2010 17:25:25 +0000 (18:25 +0100)
commitb2ce877835b643eacc015ca26f84532795b05448
tree6fb697dbbeda787dd19b3d291450450054134a79
parent0195fb5fcd09bf2c05f3b77024298db5aa6cfa4a
Don't use wildcards in Porting/exec-bit.txt

The *.SH wildcard wrongly matched *.sh files on Windows's case-insensitive
filesystem, leading to an exec bit getting set where it shouldn't have been

Thanks to rafl and vincent for spotting the problem and the cause
Porting/exec-bit.txt