From 6359d71d6b6110ce3608cfd289cae5143e78f123 Mon Sep 17 00:00:00 2001
From: Ben Burdette <bburdette@gmail.com>
Date: Wed, 24 Jun 2020 18:28:20 -0600
Subject: [PATCH] re-enable --show-trace check

---
 src/libmain/shared.cc | 4 ++--
 1 file 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");