Disable enhanced diagnostics as they're too slow.

diff --git a/opts.c b/opts.c
index 548381a3be634385b989803c63d8e46e0d2ca4fd..44919b885e3ec806786a276ffe3524ba445c36de 100644 (file)
--- 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, 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) {
 }
 
 void opts_init(const char *output, int standard, size_t arraysize) {