Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index e7f1d41..6378849 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -95,6 +95,10 @@ set(EXTRA_DIST
        examples/gras/ping/ping.h
        examples/gras/console/ping.h
        examples/gras/mmrpc/mmrpc.h
+
+       tools/gras/gras_stub_generator.h
+       tools/tesh/run_context.h  
+       tools/tesh/tesh.h
 )
 
 set(XBT_RL_SRC 
@@ -421,10 +425,6 @@ set(headers_to_install
        include/simix/simix.h
        include/simix/datatypes.h
        include/simix/context.h
-       
-       tools/gras/gras_stub_generator.h
-       tools/tesh/run_context.h  
-       tools/tesh/tesh.h
 )
 set(source_of_generated_headers
        include/simgrid_config.h.in