From 6f6c9d1901823064c67abc1ba342b850814b5ed1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 23 Nov 2012 12:43:21 +0100
Subject: [PATCH 1/1] Merge XBT_SG_SRC with XBT_SRC, and fix make dist.

---
 buildtools/Cmake/DefinePackages.cmake | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 02606ce13f..47b1c319a4 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -87,10 +87,6 @@ set(EXTRA_DIST
   tools/tesh/tesh.h
   )
 
-set(XBT_SG_SRC
-  src/xbt/xbt_sg_synchro.c
-  )
-
 set(SMPI_SRC
   src/smpi/smpi_base.c
   src/smpi/smpi_bench.c
@@ -151,6 +147,7 @@ set(XBT_SRC
   src/xbt/xbt_peer.c
   src/xbt/xbt_queue.c
   src/xbt/xbt_replay.c
+  src/xbt/xbt_sg_synchro.c
   src/xbt/xbt_sha.c
   src/xbt/xbt_str.c
   src/xbt/xbt_strbuff.c
@@ -462,7 +459,6 @@ set(simgrid_sources
   ${SIMIX_SRC}
   ${SURF_SRC}
   ${TRACING_SRC}
-  ${XBT_SG_SRC}
   ${XBT_SRC}
   )
 
-- 
2.20.1