diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh index 6ed0b1a754..68a7f78f08 100755 --- a/Tools/scripts/build_ci.sh +++ b/Tools/scripts/build_ci.sh @@ -208,9 +208,10 @@ for t in $CI_BUILD_TARGET; do $waf all ccache -s && ccache -z - if [[ $t == linux ]]; then + if [[ $t == "linux" ]]; then $waf check fi + continue fi done