diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | Make-dist | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 3e0dc145a6..69263cf3da 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ Sun Jun 9 01:11:49 1996 Roland McGrath <roland@delasyd.gnu.ai.mit.edu> + * Make-dist ($(tardir).tar): Use sed to check for file names longer + than 14 chars, instead of doschk which checks for other things we + don't care about. + * Version 1.90 test release. * Makerules (make-target-directory): Use ./mkinstalldirs so we do not 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) & |