diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-06-02 01:53:28 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-06-02 01:53:28 +0200 |
| commit | 1179fd0f51d488ccee13bcf0f0993c25883c2072 (patch) | |
| tree | 309ff14b3cac547060f68cf8f613eeb9223b3e9a | |
| parent | ccba646df1b95e17c31754d5256dc9f5eeb32661 (diff) | |
Add --debug and --valgrind options to run/benchmark.
| -rwxr-xr-x | run/benchmark | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/run/benchmark b/run/benchmark index 62c40fa2..ad0924f2 100755 --- a/run/benchmark +++ b/run/benchmark @@ -10,6 +10,12 @@ export LD_LIBRARY_PATH=build/src if [ "$1" == "--perf" ]; then shift perf stat build/benchmark/$1 +elif [ "$1" == "--debug" ]; then + shift + gdb build/benchmark/$1 +elif [ "$1" == "--valgrind" ]; then + shift + valgrind --tool="memcheck" build/benchmark/$1 else build/benchmark/$1 fi |