Runtime for checker...

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

diff --git a/Repair/RepairCompiler/MCC/Runtime/buildruntime b/Repair/RepairCompiler/MCC/Runtime/buildruntime
new file mode 100755 (executable)
index 0000000..ca76f74
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/Runtime/buildruntime
@@ -0,0 +1,5 @@
+#!/bin/bash
+g++ -c SimpleHash.cc
+g++ -c tmap.cc
+g++ -c instrument.cc
+gcc -c libredblack/redblack.c
\ No newline at end of file