From da89556656a508569716eb5738a0ffcf58faa752 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 30 Jan 2020 21:12:43 +0100
Subject: [PATCH] fix make distcheck

---
 tools/cmake/DefinePackages.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index d6fec02b59..4d566376d9 100644
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -821,7 +821,7 @@ set(simgrid_sources
 if(${enable_MSG})
   set(simgrid_sources ${simgrid_sources}   ${MSG_SRC})
 else()
-  set(EXTRA_DIST      ${simgrid_sources}   ${MSG_SRC})
+  set(EXTRA_DIST      ${EXTRA_DIST}        ${MSG_SRC})
 endif()
 
 if(${SIMGRID_HAVE_JEDULE})
-- 
2.20.1