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"