From 069e4fdd8d5a8596961be7b6ba1b20b8c49208e9 Mon Sep 17 00:00:00 2001
From: raichoo <raichoo@googlemail.com>
Date: Mon, 15 Jan 2018 15:02:08 +0100
Subject: [PATCH] do not depend on bash being installed in /bin (#4661)

---
 build_tools/git_version_gen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 <junkio@cox.net>
 # Reused under GPL v2.0