diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/netware.exp | 3 | ||||
-rw-r--r-- | config/vxworks.exp | 2 |
2 files changed, 2 insertions, 3 deletions
diff --git a/config/netware.exp b/config/netware.exp index a78faa9..6c0866e 100644 --- a/config/netware.exp +++ b/config/netware.exp @@ -199,8 +199,7 @@ proc ${board}_load { dest prog args } { -i $shell_id -re "$shell_prompt" {} } - catch [exec rm -f $lnk] - catch [exec rm -f $nlm] + catch [file delete -force -- $lnk $nlm] if { $ret == 0 } { return "pass" diff --git a/config/vxworks.exp b/config/vxworks.exp index 367c445..6f9a888 100644 --- a/config/vxworks.exp +++ b/config/vxworks.exp @@ -188,7 +188,7 @@ proc vxworks_file { dest op args } { foreach x $args { set x "${dir}/[file tail $x]" if { [file exists $x] && [file isfile $x] } { - exec rm -f $x + file delete -force -- $x } } return |