From 1dba36f3089de5807745c35adeb320eabefb32a9 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 27 Apr 2015 10:49:24 +0200
Subject: [PATCH] Fix EXTRA_DIST

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index d62ea0c557..b038e16e5e 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -130,6 +130,7 @@ set(EXTRA_DIST
   tools/tesh/tesh.h
   tools/tesh/generate_tesh
   examples/smpi/mc/only_send_deterministic.tesh
+  examples/smpi/mc/non_deterministic.tesh
   )
 
 set(SMPI_SRC
-- 
2.20.1