From cf1428630e985ed8ba9999e4196b48b53c27e25b Mon Sep 17 00:00:00 2001 From: Matthew Fernandez Date: Wed, 9 Jan 2019 20:30:57 -0800 Subject: [PATCH] tools: BSD compat for changed.sh On e.g. FreeBSD, Bash lives at /usr/local/bin/bash. This change makes the script find Bash wherever it may be hiding. Signed-off-by: Gerwin Klein --- tools/changed.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/changed.sh b/tools/changed.sh index 14ab3c255..9900cec74 100755 --- a/tools/changed.sh +++ b/tools/changed.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) #