CMUCL commit: src/tools (make-dist.sh)

[Raymond Toy]

    Date: Thursday, September 30, 2010 @ 17:21:41
  Author: rtoy
    Path: /project/cmucl/cvsroot/src/tools

Modified: make-dist.sh

o Document the -S option better.
o Describe how arch and os are derived if they're not specified on the
  command line.


--------------+
 make-dist.sh |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)


Index: src/tools/make-dist.sh
diff -u src/tools/make-dist.sh:1.16 src/tools/make-dist.sh:1.17
--- src/tools/make-dist.sh:1.16	Mon Feb  1 10:04:51 2010
+++ src/tools/make-dist.sh	Thu Sep 30 17:21:41 2010
@@ -9,7 +9,7 @@
 # you extracted the two tarballs and the source distribution into that
 # directory.
 #
-# $Header: /project/cmucl/cvsroot/src/tools/make-dist.sh,v 1.16 2010-02-01 15:04:51 rtoy Rel $
+# $Header: /project/cmucl/cvsroot/src/tools/make-dist.sh,v 1.17 2010-09-30 21:21:41 rtoy Exp $
 
 usage() {
     echo "make-dist.sh: [-hbg] [-G group] [-O owner] [-I destdir] [-M mandir] dir version [arch os]"
@@ -22,6 +22,8 @@
     echo "  -M mandir    Install manpages in this subdirectory.  Default is man/man1"
     echo "  -S           Create a source distribution (requires GNU tar)"
     echo "                 The compressed tar file is named cmucl-src-<VERSION>.tar.<ext>"
+    echo "                 If -I is also given, the -S means that the sources are "
+    echo "                 installed in the <destdir>/src"
     echo "   dir         Directory where the build is located"
     echo "   version     Version (usually date and/or other version info)"
     echo "   arch        Architecture (x86, sparc, etc.)"
@@ -38,6 +40,9 @@
     echo "<arch>, and <os> are given values, and <c> is gz or bz2 depending"
     echo "on the selected compression method."
     echo ""
+    echo "If arch and os are not given, the script will attempt to figure an"
+    echo "appropriate value for arch and os from the running system."
+    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."