| #!/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}" |