diff options
| author | Miles Bader <miles@gnu.org> | 1996-10-02 16:02:03 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-10-02 16:02:03 +0000 |
| commit | d38f3a570c3255df703a03976d3b58309df069e1 (patch) | |
| tree | 7c1e09f9f1873697d987c163eb2eba66d3020923 | |
| parent | 9f5b5bbf61e2657496fe2822115c518a9c949b2f (diff) | |
Handle `-' and `--' args properly.
| -rw-r--r-- | utils/sush.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/sush.sh b/utils/sush.sh index c40ddce8..4fccd75e 100644 --- a/utils/sush.sh +++ b/utils/sush.sh @@ -67,6 +67,10 @@ for I; do exit 0;; --version|-V |--versio|--versi|--vers|--ver|--ve|--v) echo "STANDARD_HURD_VERSION_sush_"; exit 0;; + -) + : ;; + --) + break;; -*) echo 1>&2 "$0: unrecognized option \`$1'" echo 1>&2 "Try \`$0 --help' or \`$0 --usage' for more information"; |