diff options
| author | Alex <alescdb@users.noreply.github.com> | 2015-09-03 20:14:50 +0200 |
|---|---|---|
| committer | Alex <alescdb@users.noreply.github.com> | 2015-09-03 20:14:50 +0200 |
| commit | 5c258b35b67c48991a0b32806629bad2241a8483 (patch) | |
| tree | e7ece88eb777121b356a4e9b01af492b0abfb386 /scripts | |
| parent | ca596e839233a5712cefbab12609b3a6386e54c7 (diff) | |
| download | connectbot-5c258b35b67c48991a0b32806629bad2241a8483.tar.gz connectbot-5c258b35b67c48991a0b32806629bad2241a8483.tar.bz2 connectbot-5c258b35b67c48991a0b32806629bad2241a8483.zip | |
trap signals
Diffstat (limited to 'scripts')
| -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 866829b..1491f9a 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" EXIT ERROR +trap "rm -rf $tmp_dir" 1 2 3 6 9 14 15 lint_file="$tmp_dir/lint.txt" hist_file="$tmp_dir/hist.txt" |