build: fix formatting of CMake config output

Type: make
Change-Id: I6e40817609d022cb70887f70aa3608dc759fcd76
Signed-off-by: Damjan Marion <damarion@cisco.com>
diff --git a/src/cmake/misc.cmake b/src/cmake/misc.cmake
index 9542557..14c7d49 100644
--- a/src/cmake/misc.cmake
+++ b/src/cmake/misc.cmake
@@ -39,7 +39,9 @@
 ##############################################################################
 # 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")