projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
#!/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