[PATCH, 2/5] check_GNU_style.sh: Check file presence

[Tom de Vries]

Hi,

this patch checks that the files specified on the check_GNU_style.sh command 
line are present.

OK for trunk?

Thanks,
- Tom

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-check_GNU_style.sh-Check-file-presence.patch
Type: text/x-patch
Size: 656 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20150512/dd843a1e/attachment.bin>