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