diff --git a/src/check-duplicates b/src/check-duplicates index ee36a7d..647aef0 100755 --- a/src/check-duplicates +++ b/src/check-duplicates @@ -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