1 files changed, 2 insertions, 1 deletions
diff --git a/Make-dist b/Make-dist
index 980b2bdf88..01ef9c5b8e 100644
--- a/Make-dist
+++ b/Make-dist
@@ -198,7 +198,8 @@ dist.tar: $(tardir) $(+tsrcs)
 	tar chvf $@ $(addprefix $(tardir)/,$(filter-out $(tardir),$^))
 
 $(tardir).tar: dist.tar subdir_dist
-	tar xfv $< -C /tmp | doschk
+	@echo Files listed here have names exceeding 14 chars.
+	tar xfv $< -C /tmp | sed -n '/[^/]\{15,\}/p'
 	tar covf $@ -C /tmp $(tardir)
 	-rm -fr /tmp/$(tardir) &