# | Line 89 | Line 89 | while ($#argv > 0) | |
---|---|---|
89 | set ndivs="$argv[1]" | |
90 | breaksw | |
91 | default: | |
92 | < | echo bad option "'$argv[1]'" >/dev/tty |
92 | > | echo bad option "'$argv[1]'" |
93 | exit 1 | |
94 | endsw | |
95 | shift argv |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |