aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2011-04-12 19:22:45 +1000
committerBen Elliston <bje@gnu.org>2011-04-12 19:34:50 +1000
commit55a770e7c6897d521d4ba7995ac60ec72b0c50b4 (patch)
treede3f6780ddf30a3d835e56ac4cc2d7e515583cd8 /config
parent126a089777158a7891ff975473939f08c0e31a1c (diff)
downloaddejagnu-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.exp3
-rw-r--r--config/vxworks.exp2
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