diff options
Diffstat (limited to 'hack/get_release_info.sh')
| -rwxr-xr-x | hack/get_release_info.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hack/get_release_info.sh b/hack/get_release_info.sh index c1c694a44..69cf8cd57 100755 --- a/hack/get_release_info.sh +++ b/hack/get_release_info.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This script produces various bits of metadata needed by Makefile. Using # a script allows uniform behavior across multiple environments and |