revert runtime file.

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

diff --git a/Repair/RepairCompiler/MCC/Runtime/buildruntime b/Repair/RepairCompiler/MCC/Runtime/buildruntime
index ca76f74afba62ee54d048186865f71565163ea76..1d69d05e08b727c178bf81d89518ad6f5cd0bea2 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Runtime/buildruntime
+++ b/Repair/RepairCompiler/MCC/Runtime/buildruntime
@@ -1,5 +1,8 @@
 #!/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
+FLAG='-O0 -g'
+g++ $FLAG -c SimpleHash.cc
+g++ $FLAG -c tmap.cc
+g++ $FLAG -c instrument.cc
+gcc $FLAG -c libredblack/redblack.c
+gcc $FLAG -c stack.c
+g++ $FLAG -c size.cc