From d97b684df677b8bc978204f2226cbe749d4c38d9 Mon Sep 17 00:00:00 2001 From: alegrand Date: Tue, 25 Sep 2007 14:09:18 +0000 Subject: [PATCH 1/1] 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 --- src/Makefile.am | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Makefile.am b/src/Makefile.am index 014246994c..e94b00f881 100644 --- 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 \ \ -- 2.20.1