[Patch contrib] check_GNU_style: remove tmp file

[Christophe Lyon]

Hi,

check_GNU_style.sh currently leaves a temporary file in the current directory.
This patch removes it upon exit.

Christophe.

2012-09-03   Christophe Lyon  <christophe.l...@linaro.org>

        * check_GNU_style.sh: Remove temporay file upon exit.

check-gnu-style.patch
Description: Binary data