diff options
Diffstat (limited to 'cmake/GlobalConfig.cmake')
| -rw-r--r-- | cmake/GlobalConfig.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmake/GlobalConfig.cmake b/cmake/GlobalConfig.cmake index 0df7cd408e..08cbb1b3d0 100644 --- a/cmake/GlobalConfig.cmake +++ b/cmake/GlobalConfig.cmake @@ -24,6 +24,7 @@ option(DYNAMIC_BACKEND_PATHS "Colon seperated list of paths where to load the dy option(BUILD_GATORD_MOCK "Build the Gatord simulator for external profiling testing." ON) option(BUILD_TIMELINE_DECODER "Build the Timeline Decoder for external profiling." ON) option(SHARED_BOOST "Use dynamic linking for boost libraries" OFF) +option(BUILD_BASE_PIPE_SERVER "Build the server to handle external profiling pipe traffic" ON) include(SelectLibraryConfigurations) |