From b371dcab56700003db6e0a1e55379b0c48040606 Mon Sep 17 00:00:00 2001
From: septract <miked@galois.com>
Date: Fri, 5 Jul 2024 14:25:56 -0700
Subject: [PATCH] Properly thread through CN tool name and args

---
 src/example-archive/check-all.sh | 2 +-
 src/example-archive/check.sh     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/example-archive/check-all.sh b/src/example-archive/check-all.sh
index 5bbe1b38..e05c55e8 100755
--- a/src/example-archive/check-all.sh
+++ b/src/example-archive/check-all.sh
@@ -23,7 +23,7 @@ FAILURE=0
 for subdir in "${subdirs[@]}"; do
   cd "$subdir" || continue
 
-  ../check.sh $CN 
+  ../check.sh "$CN" 
 
   if [ $? != 0 ]
   then 
diff --git a/src/example-archive/check.sh b/src/example-archive/check.sh
index a246a369..1365076b 100755
--- a/src/example-archive/check.sh
+++ b/src/example-archive/check.sh
@@ -43,7 +43,7 @@ check_file() {
   local expected_exit_code=$2
 
   printf "[$file]... "
-  timeout 10 cn "$file" > /dev/null 2>&1
+  timeout 10 $CN "$file" > /dev/null 2>&1
   local result=$?
 
   if [ $result -eq $expected_exit_code ]; then