src/check-duplicates: to make debian shellcheck happy

Signed-off-by: Maciej Barć <xgqt@protonmail.com>
This commit is contained in:
Maciej Barć 2021-02-14 23:35:43 +01:00
parent 82bef38993
commit 1e91579e95
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A
1 changed files with 2 additions and 0 deletions

View File

@ -25,6 +25,8 @@
# Distributed under the terms of the GNU General Public License v2
# This one upgrades the license to GNU General Public License v3
# shellcheck disable=1117
trap 'exit 128' INT
export PATH