diff --git a/tools/ci/utils.sh b/tools/ci/utils.sh
index f7cb597781..b7d8249f61 100644
--- a/tools/ci/utils.sh
+++ b/tools/ci/utils.sh
@@ -62,8 +62,7 @@ function warning() {
 }
 
 function run_cmd() {
-  local args=( "$@" )
-  local cmd="${args[@]}"
+  local cmd="$*"
   local start=$(date +%s)
 
   info "\$ ${cmd}"