From 52c7724a940aee682d550da077d7124a078ac077 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 29 Mar 2021 11:49:53 -0700 Subject: Fix configuration printing. (#6236) --- cmake/Helpers.cmake | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'cmake') diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index d237d6016..8b448d57d 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -130,16 +130,16 @@ endmacro() # Helper to print the configuration of a 2-valued or 3-valued option 'var' # with prefix 'str'. -macro(print_config str var) +function(print_config str var) if("${var}" STREQUAL "ON") set(OPT_VAL_STR "on") - elseif("${var}" STREQUAL "OFF") + elseif("${var}" STREQUAL "OFF" OR "${var}" STREQUAL "IGNORE") set(OPT_VAL_STR "off") else() - set(OPT_VAL_STR ${var}) + set(OPT_VAL_STR "${var}") endif() message("${Blue}${str}: ${Green}${OPT_VAL_STR}${ResetColor}") -endmacro() +endfunction() # Collect all source files that are required to build libcvc4 in LIBCVC4_SRCS -- cgit v1.2.3