diff options
Diffstat (limited to 'base/CMakeLists.txt')
-rw-r--r-- | base/CMakeLists.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/base/CMakeLists.txt b/base/CMakeLists.txt index c0de97171..f646cfb60 100644 --- a/base/CMakeLists.txt +++ b/base/CMakeLists.txt @@ -10,7 +10,9 @@ if (APPLICATION_FLAVOR_PKI_CORE) add_subdirectory(native-tools) add_subdirectory(java-tools) add_subdirectory(deploy) - add_subdirectory(selinux) + if(BUILD_PKI_SELINUX) + add_subdirectory(selinux) + endif(BUILD_PKI_SELINUX) add_subdirectory(ca) add_subdirectory(kra) add_subdirectory(ocsp) |