diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh
index 0fc09d0c8e2..060b3079dad 100755
--- a/src/ci/init_repo.sh
+++ b/src/ci/init_repo.sh
@@ -53,7 +53,8 @@ modules=($modules)
 use_git=""
 urls="$(git config --file .gitmodules --get-regexp '\.url$' | cut -d' ' -f2)"
 urls=($urls)
-for i in "${!modules[@]}"; do
+# shellcheck disable=SC2068
+for i in ${!modules[@]}; do
     module=${modules[$i]}
     if [[ " $included " = *" $module "* ]]; then
         commit="$(git ls-tree HEAD $module | awk '{print $3}')"