Ping? May I commit this small patch? http://gcc.gnu.org/ml/gcc-patches/2012-09/msg00580.html
Thanks, Christophe. On 10 September 2012 14:23, Christophe Lyon <christophe.l...@linaro.org> wrote: > On 9 September 2012 12:46, Gerald Pfeifer <ger...@pfeifer.com> wrote: >> 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 > > Good point. Here is a new version, catching the same signals as warn_summary. > > Christophe.
