Fix makedistcheck after !87

diff --git a/MANIFEST.in b/MANIFEST.in
index bb71f86..6892466 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -549,6 +549,8 @@ include examples/python/platform-failures/platform-failures.py
 include examples/python/platform-failures/platform-failures.tesh
 include examples/python/platform-profile/platform-profile.py
 include examples/python/platform-profile/platform-profile.tesh
+include examples/python/synchro-mutex/synchro-mutex.py
+include examples/python/synchro-mutex/synchro-mutex.tesh
 include examples/smpi/NAS/DGraph.c
 include examples/smpi/NAS/DGraph.h
 include examples/smpi/NAS/README.install