diff --git a/CMakeLists.txt b/CMakeLists.txt index 4857a1789b..8aac517591 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -87,7 +87,7 @@ if(USE_PROF_API EQUAL 1) include/ext ) if(NOT PROF_API_HEADER_DIR) - MESSAGE(ERROR ": Profiling API header not found. Tracer integration disabled. Use -DPROF_API_HEADER_PATH=") + MESSAGE(FATAL_ERROR "Profiling API header not found. Tracer integration disabled. Use -DPROF_API_HEADER_PATH=") else() add_definitions(-DUSE_PROF_API=1) include_directories(${PROF_API_HEADER_DIR})