From 5e45e7f08cd7171bb194044fd6e3125907329997 Mon Sep 17 00:00:00 2001 From: Thomas Monjalon Date: Sun, 5 Aug 2018 11:38:47 +0200 Subject: [PATCH] devtools: fix symbol check for dash The script check-symbol-change.sh was not running when /bin/sh redirects to dash. Fixes: 4bec48184e33 ("devtools: add checks for ABI symbol addition") Cc: nhorman@tuxdriver.com Reported-by: Stephen Hemminger Signed-off-by: Thomas Monjalon Tested-by: Ferruh Yigit Acked-by: Neil Horman --- devtools/check-symbol-change.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/devtools/check-symbol-change.sh b/devtools/check-symbol-change.sh index 40b72073a9..daaf45e14c 100755 --- a/devtools/check-symbol-change.sh +++ b/devtools/check-symbol-change.sh @@ -4,8 +4,8 @@ build_map_changes() { - local fname=$1 - local mapdb=$2 + local fname="$1" + local mapdb="$2" cat "$fname" | awk ' # Initialize our variables @@ -80,7 +80,7 @@ build_map_changes() check_for_rule_violations() { - local mapdb=$1 + local mapdb="$1" local mname local symname local secname @@ -89,10 +89,10 @@ check_for_rule_violations() while read mname symname secname ar do - if [ "$ar" == "add" ] + if [ "$ar" = "add" ] then - if [ "$secname" == "unknown" ] + if [ "$secname" = "unknown" ] then # Just inform the user of this occurrence, but # don't flag it as an error -- 2.20.1