Clean up before exit, whether successful or not. Need not be exported since it is called only from this file.
| 85 | // Clean up before exit, whether successful or not. |
| 86 | // Need not be exported since it is called only from this file. |
| 87 | void |
| 88 | BE_cleanup() |
| 89 | { |
| 90 | if (idl_global) { |
| 91 | idl_global->destroy(); |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | // Abort this run of the BE. |
| 96 | void |
no test coverage detected