# HG changeset patch
# User wenzelm
# Date 882195403 -3600
# Node ID 345d2c67a5b5271e001a04c9a1835dd8aaa0807e
# Parent  b68047c56fce3fa30f2e7801d5dac3b597d1cb4e
tuned;

diff -r b68047c56fce -r 345d2c67a5b5 Admin/makedist
--- 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