diff options
| -rwxr-xr-x | scripts/check-lint-count.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check-lint-count.sh b/scripts/check-lint-count.sh index 4d7c8f3..5184e13 100755 --- a/scripts/check-lint-count.sh +++ b/scripts/check-lint-count.sh @@ -26,7 +26,7 @@ if [[ ! -f $historical_file ]]; then \ fi tmp_dir="$(mktemp -d lint.XXXXXXXX)" -trap "rm -rf $tmp_dir" 1 2 3 6 9 14 15 +trap "rm -rf $tmp_dir" ERR EXIT lint_results="$tmp_dir/lint.txt" hist_results="$tmp_dir/hist.txt" |