diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-10-08 11:57:06 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-10-25 16:08:33 +0200 |
| commit | 9a9d427ef903422301a62a02c2a90d9e7f7dbb2b (patch) | |
| tree | b48e8fb46d99396a0a6b9756f19e92c3242530ac /src/ci/scripts | |
| parent | d264e954dc885bcb9cc5cc35cbbff862dffff6db (diff) | |
| download | rust-9a9d427ef903422301a62a02c2a90d9e7f7dbb2b.tar.gz rust-9a9d427ef903422301a62a02c2a90d9e7f7dbb2b.zip | |
ci: extract checking out submodules into a script
Diffstat (limited to 'src/ci/scripts')
| -rwxr-xr-x | src/ci/scripts/checkout-submodules.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/ci/scripts/checkout-submodules.sh b/src/ci/scripts/checkout-submodules.sh new file mode 100755 index 00000000000..0b44ea3c90b --- /dev/null +++ b/src/ci/scripts/checkout-submodules.sh @@ -0,0 +1,17 @@ +#!/bin/bash +# Check out all our submodules, but more quickly than using git by using one of +# our custom scripts + +set -euo pipefail +IFS=$'\n\t' + +source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" + +if isWindows; then + path="/c/cache/rustsrc" +else + path="${HOME}/rustsrc" +fi + +mkdir -p "${path}" +"$(cd "$(dirname "$0")" && pwd)/../init_repo.sh" . "${path}" |