test out without quotes

Signed-off-by: Lilith Oberhauser <[email protected]>
open-s4c · Apr 16, 2024 · 5d9200f · 5d9200f
1 parent eb5e6cc
commit 5d9200f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cmake/check.cmake b/cmake/check.cmake
@@ -54,8 +54,8 @@ function(add_vsyncer_check)
     # ##########################################################################
     if(${VSYNCER_CHECK_USE_DAT3M})
         set(CHECKER dartagnan)
-        set(CHECKER_ENV DARTAGNAN_OPTIONS="${VSYNCER_CHECK_DARTAGNAN_OPTIONS}"
-            DARTAGNAN_CAT_PATH="${PROJECT_SOURCE_DIR}/vmm"
+        set(CHECKER_ENV DARTAGNAN_OPTIONS=${VSYNCER_CHECK_DARTAGNAN_OPTIONS}
+            DARTAGNAN_CAT_PATH=${PROJECT_SOURCE_DIR}/vmm
         )
         list(APPEND CFLAGS -DVSYNC_DISABLE_SPIN_ANNOTATION
              -DVSYNC_VERIFICATION_DAT3M)