On 05/12/2015 01:29 AM, Tom de Vries wrote:
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
0003-check_GNU_style.sh-Read-either-from-stdin-or-from-fi.patch
[PATCH 3/5] check_GNU_style.sh: Read either from stdin, or from files
2015-05-11 Tom de Vries<t...@codesourcery.com>
* check_GNU_style.sh: Read either from stdin, or from files.
OK.
jeff