Fix Makefile issue

rems-project · Aug 17, 2024 · 0a21a65 · 0a21a65
1 parent 2b91b86
commit 0a21a65
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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