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