From ed56231eec71b28b91a77af28e6d01bff4370e41 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Fri, 21 Feb 2014 16:58:59 +0100
Subject: [PATCH 1/1] distcheck again.

---
 tools/check_dist_archive.exclude | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/check_dist_archive.exclude b/tools/check_dist_archive.exclude
index e40b8e73c3..8baa979b32 100644
--- a/tools/check_dist_archive.exclude
+++ b/tools/check_dist_archive.exclude
@@ -45,6 +45,7 @@
 
 + tools/check_dist_archive
 + tools/check_dist_archive\.exclude
++ tools/generate-multi-jar\.py
 + tools/normalize-pointers\.py
 + tools/update_copyright_header
 
-- 
2.20.1