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