[PATCH, 3/5] check_GNU_style.sh: Read either from stdin, or from files

[Tom de Vries]

Hi,

this patch makes sure we either handle:
...
$ cat temp.patch | ./check_GNU_style.sh -
...
or
...
$ ./check_GNU_style.sh temp.patch
...
but not:
...
$ cat temp.patch | ./check_GNU_style.sh - temp2.patch
...

OK for trunk?

Thanks,
- Tom

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0003-check_GNU_style.sh-Read-either-from-stdin-or-from-fi.patch
Type: text/x-patch
Size: 1109 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20150512/d0688e5f/attachment.bin>