diff options
| author | Wladimir J. van der Laan <[email protected]> | 2014-05-09 12:32:16 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2014-05-09 12:32:21 +0200 |
| commit | 8b542d5874ce4a65994a5020e28484a6510cda7e (patch) | |
| tree | ef073d0b62a43716f0353c9a06b21e2cc8ee86a4 | |
| parent | Merge pull request #4136 (diff) | |
| parent | build: fix: remove error output (diff) | |
| download | discoin-8b542d5874ce4a65994a5020e28484a6510cda7e.tar.xz discoin-8b542d5874ce4a65994a5020e28484a6510cda7e.zip | |
Merge pull request #4155
b1f0be0 build: fix: remove error output (harry)
| -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 6890a6eba..0800b3122 100755 --- a/share/genbuild.sh +++ b/share/genbuild.sh @@ -16,7 +16,7 @@ fi DESC="" SUFFIX="" LAST_COMMIT_DATE="" -if [ -e "$(which git)" -a -d ".git" ]; then +if [ -e "$(which git 2>/dev/null)" -a -d ".git" ]; then # clean 'dirty' status of touched files that haven't been modified git diff >/dev/null 2>/dev/null |