From 7fb2833ace793b50dadf5fb2207df3b2310849da 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 ba6f8cece41fc..4bcd4d8cc74e7 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.39.5