820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
|
820
821
822
823
824
825
826
827
828
829
830
831
832
833
|
-
-
-
-
-
-
|
continue
}
if {$arg eq "-"} {
# Allow "-" for stdin patch processing
lappend files "-"
continue
}
# Take care of the special case of RCS style -r<rev>
if {$arg ne "-review" && [string range $arg 0 1] eq "-r" && \
[string length $arg] > 2} {
optSet -r [string range $arg 2 end]
continue
}
# Handle unknowns
if {![dict exists $::eskil(opts) $arg]} {
# Try to see if it is an unique abbreviation of an option.
set match [allOpts $arg*]
if {[llength $match] == 1} {
set arg [lindex $match 0]
} else {
|