diff options
Diffstat (limited to 'extern/CMakeLists.txt')
| -rw-r--r-- | extern/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extern/CMakeLists.txt b/extern/CMakeLists.txt index 2f7f6584f0f..6ad6bdc316f 100644 --- a/extern/CMakeLists.txt +++ b/extern/CMakeLists.txt @@ -30,7 +30,9 @@ add_subdirectory(colamd) add_subdirectory(rangetree) if(WITH_BULLET) - add_subdirectory(bullet2) + if(NOT WITH_SYSTEM_BULLET) + add_subdirectory(bullet2) + endif() endif() # now only available in a branch |