diff options
| author | bors <bors@rust-lang.org> | 2023-08-22 09:25:49 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-22 09:25:49 +0000 |
| commit | 0c2dde342bfc0887e2badf161f4708403516f140 (patch) | |
| tree | b74dabfe945bfe44192fafae05f2e20d45bf6d85 /compiler/rustc_codegen_gcc | |
| parent | 57277c3a8ed101c5f24b3271e7ab07b0b3e831e7 (diff) | |
| parent | ee1fbd7a93e334f1272a55d7e7b1ea444e972993 (diff) | |
| download | rust-0c2dde342bfc0887e2badf161f4708403516f140.tar.gz rust-0c2dde342bfc0887e2badf161f4708403516f140.zip | |
Auto merge of #3036 - RalfJung:josh-autostart, r=RalfJung
automatically start and stop josh in rustc-pull/push Let's make use of the fact that this is not a shell script any more. :)
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions