Add forgotten headers to the dist...

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

diff --git a/src/Makefile.am b/src/Makefile.am
index 0142469..e94b00f 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -54,7 +54,10 @@ EXTRA_DIST= \
        simdag/private.h \
        \
        gras/DataDesc/ddt_parse.yy.l \
+       gras/Virtu/virtu_rl.h \
+       gras/Virtu/virtu_sg.h \
        gras/Virtu/virtu_interface.h \
+       gras/Virtu/virtu_private.h \
        amok/Bandwidth/bandwidth_private.h \
        amok/amok_modinter.h \
        \