Skip to content

Commit 60a2c9b

Browse files
committed
Hide readlink error in ./miri
`./miri` is just testing whether the platform supports `readlink -e`, but it didn't hide properly hide the stderr output. This fixes that.
1 parent 9cb10cd commit 60a2c9b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

miri

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ TARGET=$(rustc --version --verbose | grep "^host:" | cut -d ' ' -f 2)
4040
SYSROOT=$(rustc --print sysroot)
4141
LIBDIR=$SYSROOT/lib/rustlib/$TARGET/lib
4242
MIRIDIR=$(dirname "$0")
43-
if readlink -e . >/dev/null; then
43+
if readlink -e . &>/dev/null; then
4444
# This platform supports `readlink -e`.
4545
MIRIDIR=$(readlink -e "$MIRIDIR")
4646
fi

0 commit comments

Comments
 (0)