Use 'file delete' instead of 'exec rm -f'.

This commit is contained in:
Nick Clifton
2002-04-11 13:42:03 +00:00
parent b9612d142d
commit 690649bea2
2 changed files with 6 additions and 1 deletions

View File

@@ -163,7 +163,7 @@ proc long_filenames { } {
}
close $f
exec rm -f $file1 $file2
file delete $file1 $file2
pass $testname
}