diff options
author | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2023-01-19 13:23:04 +0100 |
---|---|---|
committer | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2023-01-19 13:23:04 +0100 |
commit | e4726a0c797a2680b9149015dc5e6c1a922fc686 (patch) | |
tree | a5f4e60c2761932d3e40b789f9875706446ead6f /src/libmain/shared.cc | |
parent | 38b90c618f5ce4334b89c0124c5a54f339a23db6 (diff) |
Revert "Revert "Merge pull request #6204 from layus/coerce-string""
This reverts commit 9b33ef3879a764bed4cc2404a08344c3a697a646.
Diffstat (limited to 'src/libmain/shared.cc')
-rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 6d4365652..d4871a8e2 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -404,8 +404,6 @@ int handleExceptions(const std::string & programName, std::function<void()> fun) return 1; } catch (BaseError & e) { logError(e.info()); - if (e.hasTrace() && !loggerSettings.showTrace.get()) - printError("(use '--show-trace' to show detailed location information)"); return e.status; } catch (std::bad_alloc & e) { printError(error + "out of memory"); |