about summary refs log tree commit diff
path: root/src/libmain
diff options
context:
space:
mode:
authorWill Dietz <w@wdtz.org>2017-11-07T20·42-0600
committerWill Dietz <w@wdtz.org>2017-11-14T18·39-0600
commit9d7ce0bf45fe4b77f5483929609faad25a66ab8e (patch)
tree624e5257a7b7a75328f37d59071228f78c070b21 /src/libmain
parent2f5789c5d6e779ae246659b2974560f14e24ac31 (diff)
anchor nix::Exit exception
Diffstat (limited to 'src/libmain')
-rw-r--r--src/libmain/shared.cc1
-rw-r--r--src/libmain/shared.hh1
2 files changed, 2 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 0f599f388585..85d3c077ba5e 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 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);