| # | 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 (old) |
| > | Changed lines (new) |