From c2e11132e6420cd6790cd7b192eb69f76fadc62f Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Thu, 21 Jun 2018 12:35:12 +0200
Subject: [PATCH] [CMAKE] Fix 'make dist' broken by
 9913e297eeba0983a5ff635c076e3f458b178766

---
 examples/smpi/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/smpi/CMakeLists.txt b/examples/smpi/CMakeLists.txt
index 7fea2c9dfa..12f380e441 100644
--- a/examples/smpi/CMakeLists.txt
+++ b/examples/smpi/CMakeLists.txt
@@ -10,7 +10,6 @@ if(enable_smpi)
     add_executable       (smpi_${x} ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x})
     target_link_libraries(smpi_${x} simgrid)
     set_target_properties(smpi_${x} PROPERTIES RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}/${x})
-    set(examples_src  ${examples_src}  ${CMAKE_CURRENT_SOURCE_DIR}/${x}/${x})
   endforeach()
 
   set_target_properties(smpi_trace_call_location PROPERTIES COMPILE_FLAGS "-trace-call-location")
-- 
2.20.1