From 902fffb93e50c0006c1ae181a322e8004cbbfd61 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 16 Mar 2022 12:12:32 +0100 Subject: [PATCH] Fix makedistcheck after !87 --- MANIFEST.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/MANIFEST.in b/MANIFEST.in index bb71f866ae..6892466984 100644 --- 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 -- 2.20.1