Skip to content

Commit d8b48d4

Browse files
committed
Auto merge of #2739 - RalfJung:misc, r=RalfJung
enable some warnings that rustc bootstrap enables also use cargo-install to install josh-proxy, since the docker version cannot access SSH keys (needed for pushing)
2 parents d23554f + 92b6562 commit d8b48d4

File tree

5 files changed

+8
-8
lines changed

5 files changed

+8
-8
lines changed

src/tools/miri/CONTRIBUTING.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -233,14 +233,14 @@ You can also directly run Miri on a Rust source file:
233233
## Advanced topic: Syncing with the rustc repo
234234

235235
We use the [`josh` proxy](https://github.com/josh-project/josh) to transmit changes between the
236-
rustc and Miri repositories. The eaisest way to run josh is via docker:
236+
rustc and Miri repositories.
237237

238238
```sh
239-
docker pull joshproject/josh-proxy:latest
240-
docker run -it -p 8000:8000 -e JOSH_REMOTE=https://github.com -e JOSH_EXTRA_OPTS=--no-background -v josh-vol:/data/git joshproject/josh-proxy:latest
239+
cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06
240+
josh-proxy --local=$HOME/.cache/josh --remote=https://github.com --no-background
241241
```
242242

243-
This sets up a local volume `josh-vol` for josh's cache.
243+
This uses a directory `$HOME/.cache/josh` as a cache, to speed up repeated pulling/pushing.
244244

245245
### Importing changes from the rustc repo
246246

src/tools/miri/miri

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -243,7 +243,7 @@ if [ -z "$CARGO_PROFILE_DEV_OPT_LEVEL" ]; then
243243
export CARGO_PROFILE_DEV_OPT_LEVEL=2
244244
fi
245245
# Enable rustc-specific lints (ignored without `-Zunstable-options`).
246-
export RUSTFLAGS="-Zunstable-options -Wrustc::internal $RUSTFLAGS"
246+
export RUSTFLAGS="-Zunstable-options -Wrustc::internal -Wrust_2018_idioms -Wunused_lifetimes -Wsemicolon_in_expressions_from_macros $RUSTFLAGS"
247247
# We set the rpath so that Miri finds the private rustc libraries it needs.
248248
export RUSTFLAGS="-C link-args=-Wl,-rpath,$LIBDIR $RUSTFLAGS"
249249

src/tools/miri/src/shims/unix/linux/fd/epoll.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ impl FileDescriptor for Epoll {
3636
Ok(self)
3737
}
3838

39-
fn dup<'tcx>(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
39+
fn dup(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
4040
Ok(Box::new(self.clone()))
4141
}
4242

src/tools/miri/src/shims/unix/linux/fd/event.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ impl FileDescriptor for Event {
2121
"event"
2222
}
2323

24-
fn dup<'tcx>(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
24+
fn dup(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
2525
Ok(Box::new(Event { val: self.val }))
2626
}
2727

src/tools/miri/src/shims/unix/linux/fd/socketpair.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ impl FileDescriptor for SocketPair {
1515
"socketpair"
1616
}
1717

18-
fn dup<'tcx>(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
18+
fn dup(&mut self) -> io::Result<Box<dyn FileDescriptor>> {
1919
Ok(Box::new(SocketPair))
2020
}
2121

0 commit comments

Comments
 (0)