diff options
author | Benoit Steiner <benoit.steiner.goog@gmail.com> | 2017-01-30 15:25:57 -0800 |
---|---|---|
committer | Benoit Steiner <benoit.steiner.goog@gmail.com> | 2017-01-30 15:25:57 -0800 |
commit | fbc39fd02c642119a2c49e517e1cd6e8fa1a008f (patch) | |
tree | 6cf2142e4b740eb440c577ca08114e4e24912f91 /bench/perf_monitoring/run.sh | |
parent | 82ce92419e25d8b9902c0f39e2e3b01787bf8687 (diff) | |
parent | 63de19c0004933c7b2b1e418292b9f2ae6c138f4 (diff) |
Merge latest changes from upstream
Diffstat (limited to 'bench/perf_monitoring/run.sh')
-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 |