Convert to C++, and call get_pid() directly.

[simgrid.git] / tools / cmake / Distrib.cmake

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index bbf1d0aba513eb80e59d43783236a6b8ccd28dcf..4948b39853c59635b3b1605047b87b3724b6a3b5 100644 (file)
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -182,6 +182,7 @@ set(source_to_pack
   ${xml_files}
   )
 list(SORT source_to_pack)
+list(REMOVE_DUPLICATES source_to_pack)
 
 ##########################################
 ### Fill in the "make dist-dir" target ###