diff --git a/miri b/miri
index aef61b6dd68d..161276c52b9c 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