From a7bdba363a829744d9da86412cc2f30d365daed0 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 15 Feb 2013 09:55:37 +0100 Subject: [PATCH] Cosmetics: add space before dot. --- buildtools/Cmake/Flags.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/buildtools/Cmake/Flags.cmake b/buildtools/Cmake/Flags.cmake index 28a0cb4014..2a2a96f31a 100644 --- a/buildtools/Cmake/Flags.cmake +++ b/buildtools/Cmake/Flags.cmake @@ -79,5 +79,5 @@ if(NOT $ENV{LDFLAGS} STREQUAL "") endif() if(enable_model-checking AND enable_compile_optimizations) - message(WARNING "Sorry for now GCC optimizations does not work with model checking.\nPlease turn off optimizations with command:\ncmake -Denable_compile_optimizations=off. ") + message(WARNING "Sorry for now GCC optimizations does not work with model checking.\nPlease turn off optimizations with command:\ncmake -Denable_compile_optimizations=off .") endif() -- 2.20.1