On Mon, 3 Sep 2012, Christophe Lyon wrote: > 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.
Shouldn't this also be removed upon abort? See contrib/warn_summary, for an example, Gerald
