From ecde475d79589532f66da43179a84718e6adc8f9 Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Thu, 13 Aug 2009 14:23:35 +0000 Subject: [PATCH] Document the use of the GTAR enviroment variable to specify GNU tar if tar is not already GNU tar. --- tools/make-dist.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tools/make-dist.sh b/tools/make-dist.sh index 11b5fe5a3..c9800361f 100755 --- a/tools/make-dist.sh +++ b/tools/make-dist.sh @@ -26,6 +26,10 @@ usage() { echo "and cmucl-<version>-<arch>-<os>.extra.tar.<c> where <version>," echo "<arch>, and <os> are given values, and <c> is gz or bz2 depending" echo "on the selected compression method." + echo "" + echo "Creating a source distribution requires GNU tar. If 'tar' is not GNU" + echo "tar, use the environment variable 'GTAR' to specify GNU tar. You can" + echo "use 'GTAR=gtar make-dist.sh -S ...' in this case." exit 1 } -- GitLab