diff options
| author | bors <bors@rust-lang.org> | 2022-10-08 08:53:29 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-08 08:53:29 +0000 |
| commit | 506bfc27adb78f9bf8ab8fa33bf154f90a5f29e2 (patch) | |
| tree | e7ff35c233cbd27cdba9e66a233797c5ab2f0cd7 /tests/incremental/thinlto | |
| parent | 4d015293d1cb7ebdd0972e620c3e0f1763ad2ec8 (diff) | |
| parent | da16cc1da9814710e637ff242b71768a4d3724b7 (diff) | |
| download | rust-506bfc27adb78f9bf8ab8fa33bf154f90a5f29e2.tar.gz rust-506bfc27adb78f9bf8ab8fa33bf154f90a5f29e2.zip | |
Auto merge of #2583 - RalfJung:rustup, r=oli-obk
initial josh subtree sync This demonstrates what a josh-based rustup would look like with my patched josh. To create it I did ``` git fetch http://localhost:8000/rust-lang/rust.git:start=75dd959a3a40eb5b4574f8d2e23aa6efbeb33573[:prefix=src/tools/miri]:/src/tools/miri.git master git merge FETCH_HEAD ./rustup-toolchain HEAD && ./miri fmt git commit -am rustup ``` Unlike the [previous attempt](https://github.com/rust-lang/miri/pull/2554), this does not add a new root commit to the repo. Once we merge this, we committed to using josh for subtree syncing, and in particular a version of josh that includes https://github.com/josh-project/josh/pull/961 (or something compatible).
Diffstat (limited to 'tests/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions