tools/ci/mirror-submodule-update.sh

#!/usr/bin/env 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
global: use '/usr/bin/env bash' instead of '/usr/bin/bash' in shebangs 2020-04-03 01:10:02 +02:00			`#!/usr/bin/env bash`
CI: Use local mirrors for submodules 2017-06-19 09:59:18 +08:00
ci: Use relative submodule URLs over IDF. Correct CI accordindly 2019-05-30 01:39:02 +07:00			`# Now git submodules are redirected to mirror automatically according to relative URLs in .gitmodules`
CI: Use local mirrors for submodules 2017-06-19 09:59:18 +08:00
tools: Keep script behaviour 2019-06-26 15:56:17 +07:00			`echo "WARNING: This script is deprecated. Use standard ways to obtain git submodules"`
			`git submodule update --init`