forgot file

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildrobust b/Repair/RepairCompiler/MCC/CRuntime/buildrobust
new file mode 100755 (executable)
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
+