changeset 198 | ac6fe48a684d |
parent 181 | 8b5d11633206 |
child 221 | 4d5089f4fe81 |
--- a/s/stx/benchmark-runner.sh Mon Nov 11 22:57:04 2013 +0000 +++ b/s/stx/benchmark-runner.sh Wed Nov 20 12:52:07 2013 +0000 @@ -30,8 +30,8 @@ --gdb) DEBUGGER=gdb ;; - --cgfb) - DEBUGGER=gdb + --cgdb) + DEBUGGER=cgdb ;; --callgrind) PROFILER="valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no --collect-jumps=yes --cache-sim=yes --branch-sim=yes"