making the sources for the instrumentation be present in the distribution

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7428 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/Cmake/src/CMakeDistrib.txt b/buildtools/Cmake/src/CMakeDistrib.txt
index 180cd95..5b59258 100644 (file)
--- a/buildtools/Cmake/src/CMakeDistrib.txt
+++ b/buildtools/Cmake/src/CMakeDistrib.txt
@@ -17,6 +17,7 @@ set(to_svg
        ${GTNETS_SRC}
        ${SURF_SRC}
        ${SIMIX_SRC}
+       ${TRACING_SRC}
        ${MSG_SRC}
        ${SIMDAG_SRC}
        ${GRAS_COMMON_SRC}