From c8ae7abfab787ea99556e69aa16780dbb81cec64 Mon Sep 17 00:00:00 2001 From: Christophe Lyon Date: Tue, 2 Oct 2012 07:41:28 +0000 Subject: [PATCH] check_GNU_style.sh: Remove temporay file upon exit. 2012-10-02 Christophe Lyon * check_GNU_style.sh: Remove temporay file upon exit. From-SVN: r191954 --- contrib/ChangeLog | 4 ++++ contrib/check_GNU_style.sh | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 9e619d077c0..6e4cab402e1 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2012-10-02 Christophe Lyon + + * check_GNU_style.sh: Remove temporay file upon exit. + 2012-09-26 Joern Rennecke * contrib-list.mk (LIST): Remove arm-freebsd6, arm-linux, diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index 8fb579fd160..b7f1c9d9378 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -37,6 +37,10 @@ test $# -eq 0 && usage tmp=check_GNU_style.tmp +# Remove $tmp on exit and various signals. +trap "rm -f $tmp" 0 +trap "rm -f $tmp ; exit 1" 1 2 3 5 9 13 15 + # Grep g (){ msg="$1"