From 46fdb2ebefe99577e3f10655989421a4204c9c2f Mon Sep 17 00:00:00 2001 From: Evgeny Date: Tue, 21 Apr 2020 22:34:14 -0500 Subject: [PATCH] fixing cmake error message as fatal error Change-Id: I9a378e1f70f77f2af8e53afe3abdb0b988b0f7bc --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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})