* Make-dist ($(tardir).tar): Use sed to check for file names longerglibc-1.90cvs/libc-960609cvs/libc-1-90

	than 14 chars, instead of doschk which checks for other things we
	don't care about.

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) &