diff --git a/tools/cmakev2/utilities.cmake b/tools/cmakev2/utilities.cmake index 5c300324d84..72205a7bf5d 100644 --- a/tools/cmakev2/utilities.cmake +++ b/tools/cmakev2/utilities.cmake @@ -210,3 +210,53 @@ function(__get_default_value) set(${ARG_OUTPUT} "${value}" PARENT_SCOPE) endfunction() + +#[[ + __get_config_option(OPTION