diff --git a/tools/ci/executable-list.txt b/tools/ci/executable-list.txt index ea430e4f20..fa86287cca 100644 --- a/tools/ci/executable-list.txt +++ b/tools/ci/executable-list.txt @@ -38,6 +38,7 @@ tools/ci/check_idf_version.sh tools/ci/check_ut_cmake_make.sh tools/ci/checkout_project_ref.py tools/ci/envsubst.py +tools/ci/get-full-sources.sh tools/ci/mirror-submodule-update.sh tools/ci/multirun_with_pyenv.sh tools/ci/push_to_github.sh diff --git a/tools/ci/get-full-sources.sh b/tools/ci/get-full-sources.sh new file mode 100755 index 0000000000..18b0cd160a --- /dev/null +++ b/tools/ci/get-full-sources.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +# Now git submodules are redirected to mirror automatically according to relative URLs in .gitmodules + +echo "WARNING: This script is deprecated. Use standard ways to obtain git submodules" +git submodule update --init diff --git a/tools/ci/mirror-submodule-update.sh b/tools/ci/mirror-submodule-update.sh index f679492888..18b0cd160a 100755 --- a/tools/ci/mirror-submodule-update.sh +++ b/tools/ci/mirror-submodule-update.sh @@ -2,4 +2,5 @@ # Now git submodules are redirected to mirror automatically according to relative URLs in .gitmodules -echo "WARNING: Deprecated. This script is no longer required." +echo "WARNING: This script is deprecated. Use standard ways to obtain git submodules" +git submodule update --init