Checking in C runtime.

[repair.git] / Repair / RepairCompiler / MCC / CRuntime / buildruntime

diff --git a/Repair/RepairCompiler/MCC/CRuntime/buildruntime b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
new file mode 100755 (executable)
index 0000000..c056fb6
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/CRuntime/buildruntime
@@ -0,0 +1,8 @@
+#!/bin/bash
+FLAG='-O0 -g -pedantic'
+gcc $FLAG -c SimpleHash.c
+gcc $FLAG -c tmap.c
+gcc $FLAG -c instrument.c
+gcc $FLAG -c libredblack/redblack.c
+gcc $FLAG -c stack.c
+