diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/update-copyright.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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 |