diff options
author | Ben Elliston <bje@gnu.org> | 2011-04-12 19:22:45 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2011-04-12 19:34:50 +1000 |
commit | 55a770e7c6897d521d4ba7995ac60ec72b0c50b4 (patch) | |
tree | de3f6780ddf30a3d835e56ac4cc2d7e515583cd8 /config | |
parent | 126a089777158a7891ff975473939f08c0e31a1c (diff) | |
download | dejagnu-55a770e7c6897d521d4ba7995ac60ec72b0c50b4.zip dejagnu-55a770e7c6897d521d4ba7995ac60ec72b0c50b4.tar.gz dejagnu-55a770e7c6897d521d4ba7995ac60ec72b0c50b4.tar.bz2 |
* config/vxworks.exp (vxworks_file): Use "file delete", not "exec
rm", for better portability.
* config/netware.exp (${board}_load): Likewise.
* lib/dg.exp (dg-test): Likewise.
* lib/framework.exp (open_logs): Likewise.
* lib/remote.exp (standard_file): Likewise.
* runtest.exp: Likewise.
* testsuite/runtest.all/options.exp: Likewise.
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 |