mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-19 01:40:39 +08:00
gcc-dg.exp (remove-build-file): Remove files on remote host as well as on build.
* lib/gcc-dg.exp (remove-build-file): Remove files on remote host as well as on build. From-SVN: r137503
This commit is contained in:
parent
33c7eedf00
commit
752929c698
@ -1,3 +1,8 @@
|
||||
2008-07-05 Joseph Myers <joseph@codesourcery.com>
|
||||
|
||||
* lib/gcc-dg.exp (remove-build-file): Remove files on remote host
|
||||
as well as on build.
|
||||
|
||||
2008-07-04 Richard Guenther <rguenther@suse.de>
|
||||
|
||||
* gcc.dg/tree-ssa/pta-callused.c: New testcase.
|
||||
|
@ -354,6 +354,11 @@ proc remove-build-file { pat } {
|
||||
set file_list "[glob -nocomplain $pat]"
|
||||
verbose "remove-build-file `$file_list'" 2
|
||||
foreach output_file $file_list {
|
||||
if [is_remote host] {
|
||||
# Ensure the host knows the file is gone by deleting there
|
||||
# first.
|
||||
remote_file host delete $output_file
|
||||
}
|
||||
remote_file build delete $output_file
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user