diff options
author | Jasper Lievisse Adriaanse <jasper@humppa.nl> | 2016-04-27 18:13:19 +0200 |
---|---|---|
committer | Jasper Lievisse Adriaanse <jasper@humppa.nl> | 2016-04-27 18:13:19 +0200 |
commit | 6beb315f7768c9d6a911e6366a93989e4fc6b5ed (patch) | |
tree | c3c310c44280e01c1a80c9c561a5c4c2d2f9125e | |
parent | 4dbf2813d0b5bc31973a78bed75abfcaf8203353 (diff) |
no need for bash here, sh suffices
-rwxr-xr-x | script/get_git_rev.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |