diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index a5b8f46b30..d849749805 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -80,7 +80,7 @@ for t in $CI_BUILD_TARGET; do if [[ -n ${waf_supported_boards[$t]} ]]; then echo "Starting waf build for board ${t}..." - $waf configure --board $t + $waf configure --board $t --enable-benchmarks $waf clean $waf ${build_concurrency[$t]} all if [[ $t == linux ]]; then