diff options
| author | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2016-04-27 22:53:50 +0200 |
|---|---|---|
| committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2016-04-27 22:53:50 +0200 |
| commit | 7861b7369095ea14739a6819711f403a2cca62b5 (patch) | |
| tree | c3c310c44280e01c1a80c9c561a5c4c2d2f9125e | |
| parent | 4dbf2813d0b5bc31973a78bed75abfcaf8203353 (diff) | |
| parent | 6beb315f7768c9d6a911e6366a93989e4fc6b5ed (diff) | |
Merge pull request #391 from jasperla/bash
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 |