From 68ca5d84e2cd99722df5481094c930162a836ada Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 12 Aug 2013 15:37:36 -0700 Subject: [PATCH] Remove unnecessary '--' in status messages Signed-off-by: Leonardo de Moura --- src/CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index ddafbebbfa..2344204026 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -10,7 +10,7 @@ set(LEAN_EXTRA_LINKER_FLAGS "") # Cygwin: Windows does not support ulimit -s unlimited. So, we reserve a lot of stack space: 100Mb if(${CYGWIN}) - message(STATUS "-- CYGWIN detected") + message(STATUS "CYGWIN detected") set(LEAN_EXTRA_LINKER_FLAGS "${LEAN_EXTRA_LINKER_FLAGS} -Wl,--stack,104857600") endif() @@ -59,7 +59,7 @@ if("${tcmalloc}" MATCHES "ON") set(EXTRA_LIBS ${EXTRA_LIBS} ${TCMALLOC_LIBRARIES}) endif() else() - message(STATUS "-- Using standard malloc.") + message(STATUS "Using standard malloc.") endif() include_directories(${LEAN_SOURCE_DIR}/util)