[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<tom@codesourcery.com>
>
> 	* check_GNU_style.sh: Put stdin into a temp file.
OK.
jeff