diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-05-09 12:32:16 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-05-09 12:32:21 +0200 |
| commit | 8b542d5874ce4a65994a5020e28484a6510cda7e (patch) | |
| tree | ef073d0b62a43716f0353c9a06b21e2cc8ee86a4 | |
| parent | da257a7b36b665a1c9da1f1fd9c8463b7d7e4abd (diff) | |
| parent | b1f0be0a05aca81e564139472206dee72410976e (diff) | |
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 6890a6eba0..0800b31229 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 |