Next: ${tool}_version procedure, Previous: ${tool}_load procedure, Up: Platform Dependent Procedures   [Contents][Index]

${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