From: bdemsky <bdemsky>
Date: Wed, 20 Sep 2006 20:40:09 +0000 (+0000)
Subject: forgot file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d14b89b738cefe7a278f149c5af1e1b43493a53b;p=repair.git

forgot file
---

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildrobust b/Repair/RepairCompiler/MCC/CRuntime/buildrobust
new file mode 100755
index 0000000..54a6243
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/CRuntime/buildrobust
@@ -0,0 +1,8 @@
+#!/bin/bash
+FLAG='-O0 -g -pedantic -DCOMMANDLINEFLAGS'
+gcc $FLAG -c SimpleHash.c
+gcc $FLAG -c tmap.c
+gcc $FLAG -c instrument.c
+gcc $FLAG -c redblack.c
+gcc $FLAG -c size.c
+