diff options
Diffstat (limited to 'src/cmake/misc.cmake')
| -rw-r--r-- | src/cmake/misc.cmake | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/cmake/misc.cmake b/src/cmake/misc.cmake index 9542557ce9d..14c7d495ead 100644 --- a/src/cmake/misc.cmake +++ b/src/cmake/misc.cmake @@ -39,7 +39,9 @@ endfunction() ############################################################################## # aligned config output ############################################################################## -function(pr desc val) +function(pr desc) + # CMake 3.12+: list(JOIN ARGN " " val) + string(REPLACE ";" " " val "${ARGN}") if("$ENV{TERM}" STREQUAL "xterm-256color") string(ASCII 27 esc) set(reset "${esc}[m") |