Follow-up Comment #1, bug #63219 (project make): Make allows a loadable plugin to implement a setup function. This patch adds the ability for a loadable plugin to optionally specify a close function.
Make calls this close function before unloading the plugin. This close function can be used for cleanup purposes. The impl in this patch calls the close function of each loaded plugin before unloading and at exit, whether successful or not. This impl does not call the close function when make is killed by a signal. It is possible to call the close function even when make is killed. However 1. This would introduce restrictions on call that the close function can do. 2. Make is going to be modified to have the signal handler set a flag and handle the flag outside the signal handler. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63219> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/