diff --git a/build_tools/git_version_gen.sh b/build_tools/git_version_gen.sh index e9ab218da..05978d098 100755 --- a/build_tools/git_version_gen.sh +++ b/build_tools/git_version_gen.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Originally from the git sources (GIT-VERSION-GEN) # Presumably (C) Junio C Hamano # Reused under GPL v2.0