From d14b89b738cefe7a278f149c5af1e1b43493a53b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 20 Sep 2006 20:40:09 +0000
Subject: [PATCH] forgot file

---
 Repair/RepairCompiler/MCC/CRuntime/buildrobust | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 Repair/RepairCompiler/MCC/CRuntime/buildrobust

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
+
-- 
2.34.1