From: alegrand Date: Wed, 26 Nov 2008 14:03:06 +0000 (+0000) Subject: Add useful gnets headers to the dist. X-Git-Tag: v3.3~70 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b936dbbe0c1785e04074e78d5c85dfa916eec58a?hp=ec14673a153cd09717e81a88458258b2c69c79a2 Add useful gnets headers to the dist. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@6109 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- diff --git a/src/Makefile.am b/src/Makefile.am index 8611ddfbd2..93ff77b29b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -50,6 +50,9 @@ EXTRA_DIST= \ surf/network_private.h \ surf/network_common.h \ surf/network_gtnets_private.h \ + surf/gtnets/gtnets_interface.h \ + surf/gtnets/gtnets_simulator.h \ + surf/gtnets/gtnets_topology.h \ \ include/surf/maxmin.h \ include/surf/trace_mgr.h \