From 60a2c9b1f823259bf1fa0ce238b09d1064066dd8 Mon Sep 17 00:00:00 2001
From: Camelid <camelidcamel@gmail.com>
Date: Fri, 23 Oct 2020 13:00:33 -0700
Subject: [PATCH] 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.
---
 miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miri b/miri
index aef61b6dd68..161276c52b9 100755
--- a/miri
+++ b/miri
@@ -40,7 +40,7 @@ TARGET=$(rustc --version --verbose | grep "^host:" | cut -d ' ' -f 2)
 SYSROOT=$(rustc --print sysroot)
 LIBDIR=$SYSROOT/lib/rustlib/$TARGET/lib
 MIRIDIR=$(dirname "$0")
-if readlink -e . >/dev/null; then
+if readlink -e . &>/dev/null; then
     # This platform supports `readlink -e`.
     MIRIDIR=$(readlink -e "$MIRIDIR")
 fi