Use 'file delete' instead of spawning an 'rm' process
authorKen Raeburn <raeburn@mit.edu>
Fri, 7 Nov 2008 00:15:50 +0000 (00:15 +0000)
committerKen Raeburn <raeburn@mit.edu>
Fri, 7 Nov 2008 00:15:50 +0000 (00:15 +0000)
commit160c6ebedffb1b8068570e2fb12923db14f34ff8
treeb22cfb949d7d8ee048cf3b55417fdfaf54599ce8
parent24d5edfebbce65a1cfd9861cf4686cc983da02bc
Use 'file delete' instead of spawning an 'rm' process

git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@21026 dc483132-0cff-0310-8789-dd5450dbe970
src/tests/dejagnu/config/default.exp