From 04d7360141aee3e07eac2ea6a0748df09ab6cdc5 Mon Sep 17 00:00:00 2001 From: mquinson Date: Mon, 9 Jul 2007 17:48:08 +0000 Subject: [PATCH] Erm git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3701 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- include/Makefile.am | 2 +- include/Makefile.in | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/include/Makefile.am b/include/Makefile.am index cdf7f474ea..bce9800cca 100644 --- a/include/Makefile.am +++ b/include/Makefile.am @@ -21,7 +21,7 @@ nobase_include_HEADERS = \ xbt/graphxml_parse.h \ xbt/graphxml.h \ \ - xbt/xbt_thread.h \ + xbt/synchro.h \ \ msg/msg.h \ msg/datatypes.h \ diff --git a/include/Makefile.in b/include/Makefile.in index 15b5214513..63d7a279cf 100644 --- a/include/Makefile.in +++ b/include/Makefile.in @@ -230,6 +230,8 @@ nobase_include_HEADERS = \ xbt/graphxml_parse.h \ xbt/graphxml.h \ \ + xbt/synchro.h \ + \ msg/msg.h \ msg/datatypes.h \ \ -- 2.20.1