diff make-dist @ 29671:43f15cfb67a0

Add --help and --snapshot options.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Jun 2000 12:47:10 +0000
parents 9eb6792eefac
children 349704f6532f
line wrap: on
line diff
--- a/make-dist	Thu Jun 15 12:36:48 2000 +0000
+++ b/make-dist	Thu Jun 15 12:47:10 2000 +0000
@@ -74,6 +74,28 @@
     "--compress")
       default_gzip="compress"
     ;;
+
+    "--snapshot")
+      clean_up=yes
+      make_tar=yes
+      update=no
+      check=no
+     ;;
+
+    "--help")
+      echo "Usage: ${progname} [options]"
+      echo ""
+      echo "  --clean-up	delete staging directories when done"
+      echo "  --compress	use compress instead of gzip"
+      echo "  --newer=TIME	don't include files older than TIME"
+      echo "  --no-check	don't check for bad file names etc."
+      echo "  --no-update	don't recompile or do analogous things"
+      echo "  --snapshot	same as --clean-up --no-update --tar --no-check"
+      echo "  --tar		make a tar file"
+      echo ""
+      exit 0
+    ;;
+
     * )
       echo "${progname}: Unrecognized argument: $1" >&2
       exit 1