From: Gavin Hu <gavin.hu@arm.com>
Date: Wed, 1 Aug 2018 05:22:57 +0000 (+0800)
Subject: devtools: fix checkpatch with dash
X-Git-Url: http://git.droids-corp.org/?a=commitdiff_plain;h=d633ed1077807ab784fd5b558ea46f92744a4f63;p=dpdk.git

devtools: fix checkpatch with dash

When running checkpatch.sh, it generates the following error
on some linux distributions(like Debian) with Dash as the
default shell interpreter.
trap: SIGINT: bad trap

The fix is to replace SIGINT with INT signal, it works for
both bash and dash.

Fixes: 4bec48184e ("devtools: add checks for ABI symbol addition")
Cc: stable@dpdk.org

Signed-off-by: Gavin Hu <gavin.hu@arm.com>
Reviewed-by: Honnappa Nagarahalli <honnappa.nagarahalli@arm.com>
Acked-by: John McNamara <john.mcnamara@intel.com>
Tested-by: Vipin Varghese <vipin.varghese@intel.com>
---

diff --git a/devtools/checkpatches.sh b/devtools/checkpatches.sh
index 2509269df0..ba795ad1dc 100755
--- a/devtools/checkpatches.sh
+++ b/devtools/checkpatches.sh
@@ -29,7 +29,7 @@ clean_tmp_files() {
 	fi
 }
 
-trap "clean_tmp_files" SIGINT
+trap "clean_tmp_files" INT
 
 print_usage () {
 	cat <<- END_OF_HELP