From 6beb315f7768c9d6a911e6366a93989e4fc6b5ed Mon Sep 17 00:00:00 2001
From: Jasper Lievisse Adriaanse <jasper@humppa.nl>
Date: Wed, 27 Apr 2016 18:13:19 +0200
Subject: [PATCH] no need for bash here, sh suffices

---
 script/get_git_rev.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/get_git_rev.sh b/script/get_git_rev.sh
index ee718d5e..5970e698 100755
--- a/script/get_git_rev.sh
+++ b/script/get_git_rev.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/usr/bin/env sh
 
 DIR=$1
 FILE=$2