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

-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 * check_GNU_style.sh: Read either from stdin, or from files. OK. jeff

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

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 [PATCH 3/5] check_GNU_style.sh: Read either from stdin