From: Arnaud Giersch Date: Fri, 15 Feb 2013 08:55:37 +0000 (+0100) Subject: Cosmetics: add space before dot. X-Git-Tag: v3_9_90~491^2~13 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a7bdba363a829744d9da86412cc2f30d365daed0?ds=sidebyside Cosmetics: add space before dot. --- 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()