diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-11-12 17:35:58 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-11-12 17:35:58 +0000 |
| commit | cc59a427c92452c54199c917990f5fd4b60633e2 (patch) | |
| tree | 68a61b42f7034841d62e4e2269155efe16784e53 /scripts/setup_rust_fork.sh | |
| parent | dd256865f990c4d5d63322583f60f707cb7bb1ff (diff) | |
| download | rust-cc59a427c92452c54199c917990f5fd4b60633e2.tar.gz rust-cc59a427c92452c54199c917990f5fd4b60633e2.zip | |
Use git clone --filter=tree:0 to speed up rust clones in CI
Diffstat (limited to 'scripts/setup_rust_fork.sh')
| -rw-r--r-- | scripts/setup_rust_fork.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/setup_rust_fork.sh b/scripts/setup_rust_fork.sh index 197f2d28fdd..731828caae2 100644 --- a/scripts/setup_rust_fork.sh +++ b/scripts/setup_rust_fork.sh @@ -11,7 +11,7 @@ export CG_CLIF_FORCE_GNU_AS=1 CG_CLIF_STDLIB_REMAP_PATH_PREFIX=/rustc/FAKE_PREFIX ./y.sh build echo "[SETUP] Rust fork" -git clone https://github.com/rust-lang/rust.git || true +git clone https://github.com/rust-lang/rust.git --filter=tree:0 || true pushd rust git fetch git checkout -- . |