commit 1013ad87f79f3ebdcced6f2b656bb6c848622c86
author Vijay Pai <vpai@google.com> Thu Jul 23 01:58:35 2020 -0700
committer Vijay Pai <vpai@google.com> Thu Jul 23 01:58:35 2020 -0700
tree 56a4ad780b8f6026772094843a93b335b5eeaf5e
parent 54a10f265d49d039e5c53e11bc8eda131a047d74

Fixes to match shellcheck

tools/run_tests/sanity/check_version.sh

diff --git a/tools/run_tests/sanity/check_version.sh b/tools/run_tests/sanity/check_version.sh
index fe504e3..9ad9ef3 100755
--- a/tools/run_tests/sanity/check_version.sh
+++ b/tools/run_tests/sanity/check_version.sh
@@ -21,23 +21,23 @@
 yamlfile=build_handwritten.yaml
 status=0
 
-function check_key() {
+check_key () {
     key=$1
     build=$(grep "^$key =" < $buildfile | awk -F\" '{print $2}')
     yaml=$(grep "^ *${key}:" < $yamlfile | head -1 | awk '{print $2}')
 
     if [ x"$build" = x ] ; then
-        echo $key not defined in $buildfile
+        echo "$key not defined in $buildfile"
         status=1
     fi
 
     if [ x"$yaml" = x ] ; then
-        echo $key not defined in $yamlfile
+        echo "$key not defined in $yamlfile"
         status=1
     fi
 
-    if [ x"$build" != x -a x"$yaml" != x -a "$build" != "$yaml" ] ; then
-        echo $key mismatch between $buildfile "($build)" and $yamlfile "($yaml)"
+    if [ x"$build" != x"$yaml" ] ; then
+        echo "$key mismatch between $buildfile ($build) and $yamlfile ($yaml)"
         status=1
     fi
 }