From: bdemsky <bdemsky>
Date: Wed, 6 Sep 2006 13:43:53 +0000 (+0000)
Subject: let command line define flags optionally
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=9df765264fbe08940e8db8146ea8097733df06cf;hp=c46b18a40c6c6124c487b1cd47b288d65e25be6c;ds=sidebyside

let command line define flags optionally
---

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));