diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-04 17:25:20 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-04 17:25:20 +0200 |
| commit | 3efa223dbe2a7738b11af7c3e8479ff9ec8a40d5 (patch) | |
| tree | e50d02d2925d8b760ee7a8093793c6fc8180dcaa | |
| parent | eb68b12a3baa065e68ce83dff57759a08f60cb9e (diff) | |
| download | builder-3efa223dbe2a7738b11af7c3e8479ff9ec8a40d5.tar.xz | |
suppress unimportant errors on stderr
| -rwxr-xr-x | bin/common-functions | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/common-functions b/bin/common-functions index 7b5aa18..d6b4858 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -21,7 +21,7 @@ find_pkgbuild() { find_repository_with_commit() { for repository in "${!repo_paths[@]}"; do - if [ "$(git -C "${repo_paths["${repository}"]}" cat-file -t "$1")" == "commit" ]; then + if [ "$(git -C "${repo_paths["${repository}"]}" cat-file -t "$1" 2> /dev/null)" == "commit" ]; then echo "${repository}" return 0 fi |