1) Instrumentation code to count model rebuilds, etc...

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

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