diff options
| author | Marvin W <git@larma.de> | 2019-12-18 01:01:39 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2019-12-18 01:01:39 +0100 |
| commit | 18560593b5b87c3890ed2268e52be829e4d4ae8d (patch) | |
| tree | 90d6fea48d06844de1b2164ca608c47ee23b003d | |
| parent | bd45fdf1e16e7d4ff49e1472ee30f269867f531e (diff) | |
| download | dino-18560593b5b87c3890ed2268e52be829e4d4ae8d.tar.gz dino-18560593b5b87c3890ed2268e52be829e4d4ae8d.zip | |
Fixup CMake
| -rw-r--r-- | CMakeLists.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 9a074e0f..44350513 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -40,7 +40,6 @@ if (ENABLED_PLUGINS) message(STATUS "Enabled plugin: ${plugin}") endforeach(plugin) endif (ENABLED_PLUGINS) -list(REMOVE_DUPLICATES PLUGINS) set(PLUGINS "") get_cmake_property(all_variables VARIABLES) |