From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 17:32:34 +0000 (-0700)
Subject: common: disable debugging
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a0ee9069035c3824307fd9004b53238d70c05882;p=c11tester.git

common: disable debugging

Note to others: do not enable debugging in the checked-in code. It is for
testint purposes only.
---

diff --git a/common.h b/common.h
index 81facf69..3e97432c 100644
--- a/common.h
+++ b/common.h
@@ -5,7 +5,7 @@
 #include <stdlib.h>
 #include "mymemory.h"
 
-#define CONFIG_DEBUG
+//#define CONFIG_DEBUG
 
 #ifdef CONFIG_DEBUG
 #define DEBUG(fmt, ...) do { printf("*** %25s(): line %-4d *** " fmt, __func__, __LINE__, ##__VA_ARGS__); } while (0)