From eda90cb41308a5cc5d1d279519ca515cbddb03e6 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Wed, 16 Nov 2016 16:53:03 -0700
Subject: [PATCH] fix dist

---
 tools/cmake/Distrib.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index d9513dc87a..095b794e60 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -145,6 +145,7 @@ set(source_to_pack
   ${MSG_SRC}
   ${S4U_SRC}
   ${NS3_SRC}
+  ${PLUGINS_SRC}
   ${RNGSTREAM_SRC}
   ${SIMDAG_SRC}
   ${SIMGRID_SRC}
-- 
2.20.1