From 92b3ae41dd7ed0c53a11fe2c4ea2f9eb94d1a578 Mon Sep 17 00:00:00 2001
From: Matt Pharr <matt.pharr@intel.com>
Date: Fri, 8 Jun 2012 11:23:45 -0700
Subject: [PATCH] Don't print request to file bug on fatal error twice.

---
 util.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/util.cpp b/util.cpp
index 73debb77..cbf6ef17 100644
--- a/util.cpp
+++ b/util.cpp
@@ -429,6 +429,11 @@ PerformanceWarning(SourcePos p, const char *fmt, ...) {
 
 static void
 lPrintBugText() {
+    static bool printed = false;
+    if (printed)
+        return;
+
+    printed = true;
     fprintf(stderr, "***\n"
             "*** Please file a bug report at https://github.com/ispc/ispc/issues\n"
             "*** (Including as much information as you can about how to "