From de613409c222b98969fdfe1a0842683f1fcab4da Mon Sep 17 00:00:00 2001 From: teor Date: Tue, 8 Dec 2020 07:47:31 +1000 Subject: [PATCH] Support systems where bash isn't in /usr/bin (#1473) Also remove the space between `#!` and `/`, because some OSes don't support a space there. --- zebra-utils/coverage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zebra-utils/coverage b/zebra-utils/coverage index 8af3fdc1..a9f7747e 100755 --- a/zebra-utils/coverage +++ b/zebra-utils/coverage @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash set -e set -o xtrace