From 9d7ce0bf45fe4b77f5483929609faad25a66ab8e Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Tue, 7 Nov 2017 14:42:34 -0600
Subject: [PATCH] anchor nix::Exit exception

---
 src/libmain/shared.cc | 1 +
 src/libmain/shared.hh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 0f599f388..85d3c077b 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -369,5 +369,6 @@ PrintFreed::~PrintFreed()
             % showBytes(results.bytesFreed);
 }
 
+Exit::~Exit() { }
 
 }
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh
index 9219dbed8..1dcc4f0ac 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);