From e4a7551b134a2a6727a10a61c8b0069b95100b39 Mon Sep 17 00:00:00 2001 From: navarrop Date: Wed, 13 Oct 2010 13:57:10 +0000 Subject: [PATCH 1/1] Cosmetics. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8419 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- .gitignore | 2 ++ buildtools/Cmake/Distrib.cmake | 2 +- buildtools/Cmake/Option.cmake | 4 ++-- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 0e16edbd65..871fd2f761 100644 --- a/.gitignore +++ b/.gitignore @@ -274,6 +274,8 @@ tools/graspe-slave tools/tesh/tesh examples/msg/tracing/categories examples/msg/tracing/ms +teshsuite/simdag/platforms/is_router_test + .cproject .project diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake index f22e55cf8b..fc9818aec5 100755 --- a/buildtools/Cmake/Distrib.cmake +++ b/buildtools/Cmake/Distrib.cmake @@ -180,7 +180,7 @@ add_custom_target(dist-dir set(dirs_in_tarball "") foreach(file ${source_to_pack}) # This damn prefix is still set somewhere (seems to be in subdirs) - string(REPLACE "${PROJECT_DIRECTORY}/" "" file ${file}) + string(REPLACE "${PROJECT_DIRECTORY}/" "" file "${file}") # Create the directory on need get_filename_component(file_location ${file} PATH) diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake index 1b9da05b67..807a7764bb 100644 --- a/buildtools/Cmake/Option.cmake +++ b/buildtools/Cmake/Option.cmake @@ -58,8 +58,8 @@ endif(enable_supernovae AND enable_model-checking) mark_as_advanced(PATH_PCRE_LIB) mark_as_advanced(HAVE_SSH) mark_as_advanced(HAVE_RSYNC) -mark_as_advanced(enable_coverage) -mark_as_advanced(enable_memcheck) +#mark_as_advanced(enable_coverage) +#mark_as_advanced(enable_memcheck) #mark_as_advanced(enable_print_message) mark_as_advanced(BIBTEX2HTML_PATH) mark_as_advanced(LUA_LIB_PATH_1) -- 2.20.1