]> OCCT Git - occt-wok.git/commitdiff
No comments
authorcas <cas@opencascade.com>
Mon, 6 Dec 1999 18:10:05 +0000 (18:10 +0000)
committercas <cas@opencascade.com>
Mon, 6 Dec 1999 18:10:05 +0000 (18:10 +0000)
src/WOKTools/WOKTools_Replace.tcl

index 453a7886899d7e160f5da5ba81c36ad6a8d9b97b..39fd7acf60122e0e95da857a6f35e08af8eec12a 100755 (executable)
@@ -50,12 +50,14 @@ proc WOKTools_Replace::Execute { unit args } {
 
        regsub -all "/" " $source $target" $replstr  TheArgs
 
-       set A [catch {eval exec "cmp $TheArgs"} result ]
-
-       if { $result != "" } {
+        if { [file exist $target] } {
+         set A [catch {eval exec "wokcmp $TheArgs"} result ]
+         if { $result != "" } {
            set result 0
-       } else { set result 1 }
-       
+         } else { set result 1 }
+       } else {
+          set result 0 }
+
        if { ! $result } {
            msgprint -i -c "WOKTools_Replace::Execute" "Copy $source to $target"
            if { [file exist $target] && [wokparam -e %Station $unit] != "wnt" } {