diff --git a/scripts/helpers/pull_submodule.sh b/scripts/helpers/pull_submodule.sh index 594cb0fb0b0bc9..52445b9ac8445f 100644 --- a/scripts/helpers/pull_submodule.sh +++ b/scripts/helpers/pull_submodule.sh @@ -16,6 +16,8 @@ # limitations under the License. # +# Internal script for pull_submodules.sh. Not intended to be used directly. + set -e CHIP_ROOT="$(dirname "$0")/../.." diff --git a/scripts/helpers/pull_submodules.sh b/scripts/helpers/pull_submodules.sh index a2fb8c489a892f..944c8801861e38 100755 --- a/scripts/helpers/pull_submodules.sh +++ b/scripts/helpers/pull_submodules.sh @@ -16,6 +16,9 @@ # limitations under the License. # +# Helper script to update all initialized submodules to the current tip of the +# branch specified in .gitmodules. + set -e CHIP_ROOT="$(dirname "$0")/../.." diff --git a/scripts/helpers/rename_submodules.sh b/scripts/helpers/rename_submodules.sh index c124f1ec6ff82f..63acb6c5b17625 100755 --- a/scripts/helpers/rename_submodules.sh +++ b/scripts/helpers/rename_submodules.sh @@ -16,6 +16,9 @@ # limitations under the License. # +# Temporary transition script to remove submodules added with previous names +# and re-add them with the new names. + CHIP_ROOT="$(dirname "$0")/../.." if [[ ! -e "$CHIP_ROOT/.git" ]]; then