From 9df765264fbe08940e8db8146ea8097733df06cf Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 6 Sep 2006 13:43:53 +0000
Subject: [PATCH] let command line define flags optionally

---
 Repair/RepairCompiler/MCC/CRuntime/tmap.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Repair/RepairCompiler/MCC/CRuntime/tmap.c b/Repair/RepairCompiler/MCC/CRuntime/tmap.c
index 56bac20..bf03f04 100755
--- a/Repair/RepairCompiler/MCC/CRuntime/tmap.c
+++ b/Repair/RepairCompiler/MCC/CRuntime/tmap.c
@@ -4,8 +4,10 @@
 #include "stack.h"
 #include <stdlib.h>
 
+#ifndef COMMANDLINEFLAGS
 #define CHECKTYPE
 #define CHECKMEMORY
+#endif
 
 struct typemap * allocatetypemap() {
   struct typemap *thisvar=(struct typemap *) malloc(sizeof(struct typemap));
-- 
2.34.1