From d1589c5526eeae94985b3f2cc264da97f51f3d34 Mon Sep 17 00:00:00 2001
From: Anders Leino <aleino@nvidia.com>
Date: Thu, 19 Dec 2024 11:07:03 +0200
Subject: [PATCH 1/2] Fix issues reported by 'shellcheck'

This helps to address issue #5520.
---
 .github/workflows/ci-examples.sh | 77 +++++++++++++++-----------------
 1 file changed, 37 insertions(+), 40 deletions(-)

diff --git a/.github/workflows/ci-examples.sh b/.github/workflows/ci-examples.sh
index c5fad28a67..2044edd53c 100755
--- a/.github/workflows/ci-examples.sh
+++ b/.github/workflows/ci-examples.sh
@@ -34,6 +34,13 @@ Skip file:
 EOF
 }
 
+function user_error() {
+  echo "error: $1" >&2
+  echo "" >&2
+  show_help >&2
+  exit 1
+}
+
 while [[ "$#" -gt 0 ]]; do
   case $1 in
   -h | --help)
@@ -55,9 +62,7 @@ while [[ "$#" -gt 0 ]]; do
     case $2 in
     windows | linux | macos) ;;
     *)
-      printf "error: Unrecognized os: '$2'\n\n" >&2
-      show_help >&2
-      exit 1
+      user_error "Unrecognized os: '$2'"
       ;;
     esac
     os="$2"
@@ -67,56 +72,44 @@ while [[ "$#" -gt 0 ]]; do
     case $2 in
     debug | release) ;;
     *)
-      printf "error: Unrecognized config: '$2'\n\n" >&2
-      show_help >&2
-      exit 1
+      user_error "Unrecognized config: '$2'"
       ;;
     esac
     config="$2"
     shift
     ;;
   *)
-    echo "unrecognized argument: $1" >&2
-    show_help >&2
-    exit 1
+    user_error "Unrecognized argument: '$1'"
     ;;
   esac
   shift
 done
 
 if [[ "$os" == "" ]]; then
-  echo "error: No OS specified.\n\n"
-  show_help >&2
-  exit 1
+  user_error "No OS specified."
 fi
 
 if [[ "$config" == "" ]]; then
-  printf "error: No build configuration specified.\n\n" >&2
-  show_help >&2
-  exit 1
+  user_error "No build configuration specified."
 fi
 
 if [[ "$bin_dir" == "" ]]; then
-  printf "error: No binary directory specified.\n\n" >&2
-  show_help >&2
-  exit 1
+  user_error "No binary directory specified."
 fi
 
 if [[ "$skip_file" == "" ]]; then
-  printf "error: No skip file specified.\n\n" >&2
-  show_help >&2
-  exit 1
+  user_error "No skip file specified."
 fi
 
 if [[ ! -f "$skip_file" ]]; then
-  printf "error: Skip file '$skip_file' does not exist.\n\n" >&2
+  user_error "Skip file '$skip_file' does not exist."
 fi
 
 if [[ ! -d "$bin_dir" ]]; then
-  printf "error: Binary directory '$bin_dir' does not exist.\n\n" >&2
+  user_error "Binary directory '$bin_dir' does not exist."
 fi
 
-summary=""
+summary=()
 failure_count=0
 skip_count=0
 sample_count=0
@@ -126,46 +119,45 @@ function skip {
   local line_index
   p="$1"
   line_index=1
-  while read pattern; do
+  while read -r pattern; do
     pat=$pattern
     if [[ ! $pat =~ .*# ]]; then
-      echo "error: Skip pattern on line $line_index is missing a comment!"
-      exit 1
+      user_error "Skip pattern on line $line_index is missing a comment!"
     fi
     pat="${pattern%% *#*}"
     if [[ $p =~ ^$pat$ ]]; then
       return 0
     fi
     line_index=$((line_index + 1))
-  done <$skip_file
+  done <"$skip_file"
 
   return 1
 }
 
 function run_sample {
-  local command
   local sample
-  command=$@
+  local args
+  sample="$1"
   shift
-  sample="${command%% *}"
+  args=( "$@" )
   sample_count=$((sample_count + 1))
-  summary+="$sample: "
+  summary=("${summary[@]}" "$sample: ")
   if skip "$os:$config:$sample"; then
     echo "Skipping $sample..."
-    summary+="\n  skipped\n"
+    summary=("${summary[@]}" "  skipped")
     skip_count=$((skip_count + 1))
     return
   fi
-  echo "Running '$command'..."
+  echo "Running '$sample ${args[*]}'..."
   result=0
-  pushd $bin_dir 1>/dev/null 2>&1
+  pushd "$bin_dir" 1>/dev/null 2>&1
   if [[ ! "$dry_run" = true ]]; then
-    ./$command || result=$?
+    ./"$sample" "${args[@]}" || result=$?
   fi
   if [[ $result -eq 0 ]]; then
-    summary+="\n  success\n"
+    summary=("${summary[@]}" "  success")
   else
-    summary+="\n  failure (exit code: $result)\n"
+    summary=("${summary[@]}" "  failure (exit code: $result)")
     failure_count=$((failure_count + 1))
   fi
   popd 1>/dev/null 2>&1
@@ -187,13 +179,18 @@ sample_commands=(
 )
 
 for sample_command in "${sample_commands[@]}"; do
-  run_sample $sample_command
+  run_sample ${sample_command}
   echo ""
 done
 
 echo ""
 echo "Summary: "
-printf "\n$summary\n\n"
+echo
+for line in "${summary[@]}"
+do
+    printf '  %s\n' "$line"
+done
+echo ""
 echo "$failure_count failed, and $skip_count skipped, out of $sample_count tests"
 if [[ $failure_count -ne 0 ]]; then
   exit 1

From 33bbb7219360cc267d85d384fc37be7381423288 Mon Sep 17 00:00:00 2001
From: slangbot <186143334+slangbot@users.noreply.github.com>
Date: Thu, 19 Dec 2024 09:27:31 +0000
Subject: [PATCH 2/2] format code

---
 .github/workflows/ci-examples.sh | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci-examples.sh b/.github/workflows/ci-examples.sh
index 2044edd53c..4164b0ece6 100755
--- a/.github/workflows/ci-examples.sh
+++ b/.github/workflows/ci-examples.sh
@@ -139,7 +139,7 @@ function run_sample {
   local args
   sample="$1"
   shift
-  args=( "$@" )
+  args=("$@")
   sample_count=$((sample_count + 1))
   summary=("${summary[@]}" "$sample: ")
   if skip "$os:$config:$sample"; then
@@ -186,9 +186,8 @@ done
 echo ""
 echo "Summary: "
 echo
-for line in "${summary[@]}"
-do
-    printf '  %s\n' "$line"
+for line in "${summary[@]}"; do
+  printf '  %s\n' "$line"
 done
 echo ""
 echo "$failure_count failed, and $skip_count skipped, out of $sample_count tests"