diff --git a/tools/ci/utils.sh b/tools/ci/utils.sh index b7d8249f61..719d68adf9 100644 --- a/tools/ci/utils.sh +++ b/tools/ci/utils.sh @@ -75,7 +75,7 @@ function run_cmd() { if [[ $ret -eq 0 ]]; then info "==> '\$ ${cmd}' succeeded in ${runtime} seconds." return 0 - echo + else error "==> '\$ ${cmd}' failed (${ret}) in ${runtime} seconds." return $ret fi