diff options
author | Erich Eckner <git@eckner.net> | 2019-01-17 23:12:34 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-01-17 23:12:34 +0100 |
commit | 03f8152ef008a695e0d9bbcc399cfa174eaf73f0 (patch) | |
tree | 86d822713a9e5997bb94d83e3089d47dfe302192 | |
parent | 71accb7778f5af414b42caa88ab63e979f4b937d (diff) | |
parent | 0a6a4d08c69706542c88b831b456fcba8293dc2d (diff) | |
download | asp32-03f8152ef008a695e0d9bbcc399cfa174eaf73f0.tar.xz |
Merge branch 'upstream/master'
-rw-r--r-- | package.inc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package.inc.sh b/package.inc.sh index 4d1ab7b..892dc78 100644 --- a/package.inc.sh +++ b/package.inc.sh @@ -135,7 +135,7 @@ package_export() { subtree=repos/$repo-$OPT_ARCH fi - if [[ -z $(git ls-tree "remotes/$remote/packages/$pkgname" "$subtree/") ]]; then + if ! git ls-tree "remotes/$remote/packages/$pkgname" "$subtree/" &>/dev/null; then if [[ $repo ]]; then log_error "package '%s' not found in repo '%s-%s'" "$pkgname" "$repo" "$OPT_ARCH" return 1 |