From 16491aef42d386a9e721b913b9b4d8361a127a5a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 27 Oct 2020 14:21:59 +0100
Subject: [PATCH] Use bash to make sure &> works

---
 miri | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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