# | Line 17 | Line 17 | while ($#argv > 1) | |
---|---|---|
17 | set tim="$argv[1]" | |
18 | breaksw | |
19 | default: | |
20 | < | echo bad option "'$argv[1]'" >/dev/tty |
20 | > | echo bad option "'$argv[1]'" |
21 | exit 1 | |
22 | endsw | |
23 | shift argv |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |