diff options
| author | Ben Burdette <bburdette@gmail.com> | 2020-06-24 18:28:20 -0600 |
|---|---|---|
| committer | Ben Burdette <bburdette@gmail.com> | 2020-06-24 18:28:20 -0600 |
| commit | 6359d71d6b6110ce3608cfd289cae5143e78f123 (patch) | |
| tree | 3073c43975adabaf21bef37044eb520fe7de6b2f /src/libmain | |
| parent | 023912def37c8db64dec0339d39f2535e0d79e78 (diff) | |
re-enable --show-trace check
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 27a4d5fc1..e1b1cd4fc 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -328,8 +328,8 @@ int handleExceptions(const string & programName, std::function<void()> fun) // printError(e.prefix()); logError(e.info()); // TODO fix to detect non-empty trace here. - // if (e.prefix() != "" && !settings.showTrace) - // printError("(use '--show-trace' to show detailed location information)"); + if (e.hasTrace() && !settings.showTrace) + printError("(use '--show-trace' to show detailed location information)"); return e.status; } catch (std::bad_alloc & e) { printError(error + "out of memory"); |