785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
|
if {$revs == ""} { set revs -1 }
foreach rev $revs {
if {[string is digit $rev]} {
lappend result $rev
} else {
if {[catch {exec csh -c "icmp4 files $filename"} res]} {
tk_messageBox -icon error \
-message "Failed p4 files filename: $thisrev"
exit
}
regexp {\#(\d+)} [file tail $res] -> res
if {$rev != ""} { incr res $rev }
lappend result $res
}
}
|
|
|
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
|
if {$revs == ""} { set revs -1 }
foreach rev $revs {
if {[string is digit $rev]} {
lappend result $rev
} else {
if {[catch {exec csh -c "icmp4 files $filename"} res]} {
tk_messageBox -icon error \
-message "Failed p4 files filename: $rev"
exit
}
regexp {\#(\d+)} [file tail $res] -> res
if {$rev != ""} { incr res $rev }
lappend result $res
}
}
|