From 797319f2fc69c74d5d6f9f5f802b7b66dfc65bb0 Mon Sep 17 00:00:00 2001 From: "Adam C. Emerson" Date: Wed, 20 Apr 2022 16:19:36 -0400 Subject: [PATCH] tooling: Change mrun to use bash Since mrun contains some bashisms, have it use bash explicitly. Signed-off-by: Adam C. Emerson (cherry picked from commit 1a049489cc3d2f63284365d6a0af6ee55c7efffd) --- src/mrun | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mrun b/src/mrun index 3122342e1bc7..e2ab491b3fa1 100755 --- a/src/mrun +++ b/src/mrun @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash [ $# -lt 2 ] && echo "usage: $0 [params...]" && exit 1 -- 2.47.3