diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 3 |
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) & |