More debug

diffblue · Sep 3, 2024 · 5e61f6f · 5e61f6f
1 parent b699398
commit 5e61f6f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
@@ -40,6 +40,7 @@ add_custom_target(
     -D CUR=${CMAKE_CURRENT_BINARY_DIR}
     -P ${CMAKE_BINARY_DIR}/version.cmake
 )
+message("${CMAKE_CURRENT_SOURCE_DIR} 2: CBMC_SOURCE_DIR==${CBMC_SOURCE_DIR}")
 
 add_library(util
   ${sources}