diff options
| author | Will Dietz <w@wdtz.org> | 2017-11-07T20·42-0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2017-11-14T18·39-0600 |
| commit | 9d7ce0bf45fe4b77f5483929609faad25a66ab8e (patch) | |
| tree | 624e5257a7b7a75328f37d59071228f78c070b21 /src/libmain/shared.cc | |
| parent | 2f5789c5d6e779ae246659b2974560f14e24ac31 (diff) | |
anchor nix::Exit exception
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 1 |
1 files changed, 1 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() { } } |