diff options
Diffstat (limited to 'src/libmain/shared.hh')
| -rw-r--r-- | src/libmain/shared.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 9219dbed8325..1dcc4f0ac942 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -17,6 +17,7 @@ public: int status; Exit() : status(0) { } Exit(int status) : status(status) { } + virtual ~Exit(); }; int handleExceptions(const string & programName, std::function<void()> fun); |