From b7c3da37d0776e2e3daadc7ea96dffdee4e809a4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 28 Sep 2018 23:19:13 +0200 Subject: [PATCH] fix make distcheck after augustin --- tools/internal/check_dist_archive.exclude | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/internal/check_dist_archive.exclude b/tools/internal/check_dist_archive.exclude index a1031b0e28..c0eaa8676c 100644 --- a/tools/internal/check_dist_archive.exclude +++ b/tools/internal/check_dist_archive.exclude @@ -36,4 +36,3 @@ + src/simix/simix_network\.tla + src/smpi/BUGS -+ teshsuite/smpi/mpich3-test/f77/attr/.* -- 2.20.1