From ec4cd0d25825dae640904254bacbc3b1e5366c72 Mon Sep 17 00:00:00 2001
From: Dale Weiler <killfieldengine@gmail.com>
Date: Fri, 4 Jan 2013 12:26:44 +0000
Subject: [PATCH] Disable enhanced diagnostics as they're too slow.

---
 opts.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opts.c b/opts.c
index 548381a..44919b8 100644
--- a/opts.c
+++ b/opts.c
@@ -65,7 +65,7 @@ static void opts_setdefault() {
     opts_set(opts.flags, FTEPP_PREDEFS,                  false);
     opts_set(opts.flags, CORRECT_TERNARY,                true);
     opts_set(opts.flags, BAIL_ON_WERROR,                 true);
-    opts_set(opts.flags, ENHANCED_DIAGNOSTICS,           true);
+    opts_set(opts.flags, ENHANCED_DIAGNOSTICS,           false);
 }
 
 void opts_init(const char *output, int standard, size_t arraysize) {
-- 
2.39.2