Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung

[rust.git] / miri

diff --git a/miri b/miri
index 8cd2cfc3ae0c698ef8c4cd3aff0946c9639bfe75..b4d205bd52c55bef9ce0d65981f8b6f4e3804430 100755 (executable)
--- a/miri
+++ b/miri
@@ -141,8 +141,10 @@ run|run-debug)
     exec cargo run $CARGO_BUILD_FLAGS -- --sysroot "$MIRI_SYSROOT" "$@"
     ;;
 *)
-    echo "Unknown command: $COMMAND"
-    echo
+    if [ -n "$COMMAND" ]; then
+      echo "Unknown command: $COMMAND"
+      echo
+    fi
     echo "$USAGE"
     exit 1
 esac