mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-27 11:52:03 +00:00
allow -- to end options
This commit is contained in:
parent
237c30900c
commit
074347f4e4
1 changed files with 4 additions and 0 deletions
4
bin/g
4
bin/g
|
@ -5,6 +5,10 @@ flags=""
|
||||||
while [ $# != 0 -a $inflags = yes ]
|
while [ $# != 0 -a $inflags = yes ]
|
||||||
do
|
do
|
||||||
case "$1" in
|
case "$1" in
|
||||||
|
--)
|
||||||
|
inflags=no
|
||||||
|
shift
|
||||||
|
;;
|
||||||
-*)
|
-*)
|
||||||
flags="$flags $1"
|
flags="$flags $1"
|
||||||
shift
|
shift
|
||||||
|
|
Loading…
Reference in a new issue