diff options
Diffstat (limited to 'contrib/cirrus/ooe.sh')
| -rwxr-xr-x | contrib/cirrus/ooe.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cirrus/ooe.sh b/contrib/cirrus/ooe.sh index 3c8a0409d..0966b5ce8 100755 --- a/contrib/cirrus/ooe.sh +++ b/contrib/cirrus/ooe.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This script executes a command while logging all output to a temporary # file. If the command exits non-zero, then all output is sent to the console, |