diff options
author | Gael Guennebaud <g.gael@free.fr> | 2017-01-03 11:31:02 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2017-01-03 11:31:02 +0100 |
commit | 45b289505c46f05d2a2ba8658a11259bd20eff5b (patch) | |
tree | f1c91d3f69f9aa5b921c2a56f95d8a9c63455e20 /bench | |
parent | 5838f078a70f24ad4b60498abca531e42caae8fb (diff) |
Add debug output
Diffstat (limited to 'bench')
-rwxr-xr-x | bench/perf_monitoring/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bench/perf_monitoring/run.sh b/bench/perf_monitoring/run.sh index 14a26907f..20871668e 100755 --- a/bench/perf_monitoring/run.sh +++ b/bench/perf_monitoring/run.sh @@ -112,6 +112,7 @@ function test_current # echo $update et $selected et $rev_found because $rev et "$global_args" # echo $count_rev et $count_ref if [ $update == true ] || [ $count_rev != $count_ref ] || ([ $selected == true ] && [ $rev_found == true ]); then + echo "RUN: $CXX -O3 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name" if $CXX -O3 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name; then curr=`./$name $settings_file` if [ $count_rev == $count_ref ]; then |