diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-09-25 10:52:57 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-09-25 10:54:54 +0200 |
commit | 35e5b5329aea82286ec1a53388a89dae1c835d2e (patch) | |
tree | 4be224806cfddd5864cdc8888ee9204e6cbd8e15 | |
parent | 29a9d4483e294205561905e207719666d3ccf309 (diff) | |
parent | c65cc8cde30dd34a81962fda51a754f1cc0bdde8 (diff) |
Merge pull request #4946
c65cc8c build: fix release name strings for gitian builds (Cory Fields)
-rwxr-xr-x | share/genbuild.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/share/genbuild.sh b/share/genbuild.sh index 0800b31229..679566e596 100755 --- a/share/genbuild.sh +++ b/share/genbuild.sh @@ -16,7 +16,7 @@ fi DESC="" SUFFIX="" LAST_COMMIT_DATE="" -if [ -e "$(which git 2>/dev/null)" -a -d ".git" ]; then +if [ -e "$(which git 2>/dev/null)" -a $(git rev-parse --is-inside-work-tree 2>/dev/null) = "true" ]; then # clean 'dirty' status of touched files that haven't been modified git diff >/dev/null 2>/dev/null |