Auto merge of #79387 - woodruffw-forks:ww/peer-cred-pid-macos, r=Amanieu

[rust.git] / src / ci / init_repo.sh

diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh
index 92c6e546a389571c1ab59492104a8bd7afc787d7..060b3079dad5fe214223dfd73b3e6c7001a8bfc6 100755 (executable)
--- a/src/ci/init_repo.sh
+++ b/src/ci/init_repo.sh
@@ -53,6 +53,7 @@ modules=($modules)
 use_git=""
 urls="$(git config --file .gitmodules --get-regexp '\.url$' | cut -d' ' -f2)"
 urls=($urls)
+# shellcheck disable=SC2068
 for i in ${!modules[@]}; do
     module=${modules[$i]}
     if [[ " $included " = *" $module "* ]]; then