1 files changed, 7 insertions, 1 deletions
diff --git a/Util/.distfiles b/Util/.distfiles
index ac10d605f..162ace386 100644
--- a/Util/.distfiles
+++ b/Util/.distfiles
@@ -1,5 +1,11 @@
 DISTFILES_SRC='
     .distfiles
-    helpfiles mkdisttree.sh reporter
+    check_exports
+    helpfiles
+    mkdisttree.sh
     preconfig
+    reporter
+'
+DISTFILES_NOT='
+    difflog.pl
 '