Next: , Previous: , Up: Platform Dependent Procedures  


6.1.6.3 ${tool}_exit Procedure

Cleans up (if necessary) before DejaGnu exits. For interactive tools, this usually ends the interactive session. You can also use ${tool}_exit to remove any temporary files left over from the tests. runtest calls ${tool}_exit.

${tool}_exit