add Zulip site information

[rust.git] / miri

diff --git a/miri b/miri
index 161276c52b9c7688afde9f4866db85b1e5df9f83..337b2a496de878ff7c86f183f98542a082869797 100755 (executable)
--- a/miri
+++ b/miri
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 set -e
 USAGE=$(cat <<"EOF"
   COMMANDS