From 38da32853a9193f7c7c068f3b919994a291fc770 Mon Sep 17 00:00:00 2001 From: Gustavo Jose de Sousa Date: Wed, 17 Feb 2016 13:17:56 +0000 Subject: [PATCH] ci: use --enable-benchmarks in waf configure --- Tools/scripts/build_ci.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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