diff options
| author | Marvin W <git@larma.de> | 2019-12-18 01:16:35 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2019-12-18 01:16:35 +0100 |
| commit | dce47d506de9cc8ebef45d9616fa4e93b2b7c5eb (patch) | |
| tree | 84c993c7e8f1d3befb85edd4c5423d09ac144df1 | |
| parent | 18560593b5b87c3890ed2268e52be829e4d4ae8d (diff) | |
| download | dino-dce47d506de9cc8ebef45d9616fa4e93b2b7c5eb.tar.gz dino-dce47d506de9cc8ebef45d9616fa4e93b2b7c5eb.zip | |
Ensure compatibility with older CMake
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 44350513..509a5169 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -49,7 +49,7 @@ foreach (variable_name ${all_variables}) endif() endforeach () list(SORT PLUGINS) -list(JOIN PLUGINS ", " PLUGINS_TEXT) +string(REPLACE ";" ", " PLUGINS_TEXT "${PLUGINS}") message(STATUS "Configuring Dino ${PROJECT_VERSION} with plugins: ${PLUGINS_TEXT}") |