changeset 4411 | 345d2c67a5b5 |
parent 4181 | fcc8b47e4c49 |
child 4542 | e723ce456305 |
--- a/Admin/makedist Mon Dec 15 14:40:13 1997 +0100 +++ b/Admin/makedist Mon Dec 15 15:16:43 1997 +0100 @@ -156,7 +156,11 @@ chmod -R u+w $DISTNAME chmod -R g+w $DISTNAME -tar cf - $DISTNAME | gzip >$DISTNAME.tar.gz +if [ -n $(type -path gtar) ]; then + gtar czf $DISTNAME.tar.gz $DISTNAME +else + tar cf - $DISTNAME | gzip >$DISTNAME.tar.gz +fi # final note