devtools: relax rule for identifying symbol section

[dpdk.git] / devtools / checkpatches.sh

diff --git a/devtools/checkpatches.sh b/devtools/checkpatches.sh
index 2509269df04b887025c233e5f79e38bcbf343942..ba795ad1dc362c7241b04288c071cd0bb2ba490c 100755 (executable)
--- 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