Next: ${tool}_version Procedure, Previous: ${tool}_load Procedure, Up: Platform Dependent Procedures
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