From 0a21a65afd45f09d3e02cfa96e88b2cd8b8edb4e Mon Sep 17 00:00:00 2001 From: septract <miked@galois.com> Date: Fri, 16 Aug 2024 18:41:52 -0700 Subject: [PATCH] Fix Makefile issue --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index bd46ecb1..1bb28078 100644 --- a/Makefile +++ b/Makefile @@ -47,15 +47,15 @@ build/exercises.zip: $(EXERCISES) ############################################################################## # Check that the examples all run correctly -CN_PATH?="cn verify" +CN_PATH?=cn verify check-archive: @echo Check archive examples - @$(MAKEFILE_DIR)/src/example-archive/check-all.sh $(CN_PATH) + @$(MAKEFILE_DIR)/src/example-archive/check-all.sh "$(CN_PATH)" check-tutorial: @echo Check tutorial examples - @$(MAKEFILE_DIR)/check.sh $(CN_PATH) + @$(MAKEFILE_DIR)/check.sh "$(CN_PATH)" check: check-tutorial check-archive