Re: [PATCH, 4/5] check_GNU_style.sh: Put stdin into temp file

[Jeff Law]

On 05/12/2015 01:29 AM, Tom de Vries wrote:

Hi,

this patch makes sure we dump stdin into a file before we handle it in
the rest of the script. This makes the stdin handling more like the
handling of normal files.

OK for trunk?

Thanks,
- Tom


0004-check_GNU_style.sh-Put-stdin-into-temp-file.patch


[PATCH 4/5] check_GNU_style.sh: Put stdin into temp file

2015-05-11  Tom de Vries<t...@codesourcery.com>

        * check_GNU_style.sh: Put stdin into a temp file.

OK.
jeff