diff options
-rwxr-xr-x | tcwg_bmk-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tcwg_bmk-build.sh b/tcwg_bmk-build.sh index 337f90be..a5b60197 100755 --- a/tcwg_bmk-build.sh +++ b/tcwg_bmk-build.sh @@ -181,7 +181,7 @@ benchmark () local bmk_flags bmk_ldflags reboot run_profile bmk_flags="$(echo $bmk_cflags | sed -e "s/_/ -/g" -e "s/LTO/flto/g" \ - -e "s/VECT/fmetric-vect/g")" + -e "s/VECT/fdump-tree-vect-details/g")" case "$bmk_cflags" in "-Os"*|"-Oz"*) reboot=false @@ -588,7 +588,7 @@ EOF esac target=$(print_gnu_target ${rr[target]}) bmk_flags=$(echo "${cflags[0]}" | sed -e "s/_/ -/g" -e "s/LTO/flto/g" \ - -e "s/VECT/fmetric-vect/g") + -e "s/VECT/fdump-tree-vect-details/g") case "${rr[ci_project]}" in *_apm*) hw="APM Mustang 8x X-Gene1" ;; *_tk1*) hw="NVidia TK1 4x Cortex-A15" ;; |