From 1208d5383a9bfd03f338ccf71fb9764790b2e1a9 Mon Sep 17 00:00:00 2001 From: Bertram Date: Sun, 7 Feb 2010 17:27:23 +0100 Subject: Small fix to the update-copyright script. --- tools/update-copyright.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tools/update-copyright.sh') diff --git a/tools/update-copyright.sh b/tools/update-copyright.sh index 67deaaa4..8f924f53 100755 --- a/tools/update-copyright.sh +++ b/tools/update-copyright.sh @@ -20,4 +20,5 @@ echo "The next +/- counts mentioning copyrights should match:" grep "^[-+][^-+]" $tmp_file | sort | uniq -c echo "If they don't, try finding the offending files with grep -rl <\$bad_line>" - +# Remove temp file +[[ -e $tmp_file ]] && rm $tmp_file -- cgit v1.2.3-60-g2f50