Use cn verify subcommand

rems-project · Jul 20, 2024 · c16c711 · c16c711
1 parent 81a3135
commit c16c711
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -45,7 +45,7 @@ build/exercises.zip: $(EXERCISES)
 ##############################################################################
 # Check that the examples all run correctly 
 
-CN_PATH ?= cn 
+CN_PATH ?= "cn verify" 
 
 check-archive: 
 	@echo Check archive examples

diff --git a/check.sh b/check.sh
@@ -7,7 +7,7 @@ then
     echo "using CN=$1 in $PWD"
     CN="$1"
 else
-    CN=cn
+    CN="cn verify"
 fi
 
 good=0

diff --git a/src/example-archive/check-all.sh b/src/example-archive/check-all.sh
@@ -7,7 +7,7 @@ then
   echo "check-all.sh: using CN=$1 in $PWD"
   CN="$1"
 else
-  CN=cn
+  CN="cn verify"
 fi
 
 subdirs=(

diff --git a/src/example-archive/check.sh b/src/example-archive/check.sh
@@ -5,7 +5,7 @@ then
   echo "check.sh: using CN=$1 in $PWD"
   CN="$1"
 else
-  CN=cn
+  CN="cn verify"
 fi
 
 process_files() {
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,7 +7,7 @@ then @@
         echo "using CN=$1 in $PWD"
         CN="$1"
     else
-        CN=cn
+        CN="cn verify"
     fi
     good=0
@@ Expand Down @@