diff options
-rwxr-xr-x | tcwg_bmk-build.sh | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/tcwg_bmk-build.sh b/tcwg_bmk-build.sh index 68066fe2..cd13bf10 100755 --- a/tcwg_bmk-build.sh +++ b/tcwg_bmk-build.sh @@ -8,8 +8,7 @@ scripts=$(dirname $0) convert_args_to_variables "$@" -obligatory_variables rr[ci_config] \ - BUILD_NUMBER ssh_host ssh_port +obligatory_variables rr[ci_config] ssh_host ssh_port # Execution mode: baseline, bisect, jenkins-full rr[mode]="${rr[mode]-baseline}" @@ -95,8 +94,16 @@ benchmark () local bin cc - bin="$(pwd)/abe/builds/destdir/x86_64-unknown-linux-gnu/bin" - cc="$bin/$(print_gnu_target ${rr[target]})-" + case "${rr[toolchain]}" in + llvm) + bin="$(pwd)/llvm-install/bin" + cc="$bin/clang" + ;; + gnu) + bin="$(pwd)/abe/builds/destdir/x86_64-unknown-linux-gnu/bin" + cc="$bin/$(print_gnu_target ${rr[target]})-" + ;; + esac local bmk_flags bmk_flags="$(echo -$cflags | sed -e "s/_/ -/g" -e "s/LTO/flto/g")" |