diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-20 16:37:25 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-20 16:37:25 +0100 |
| commit | 7507592d73fd91af95c7bd659d2cfa84a48ec370 (patch) | |
| tree | f627eb697cff8bc33518327645b4aa5813e8ac4f | |
| parent | 39e54baec564125949ffa39f00f6f8e661aedeb6 (diff) | |
| parent | a06ffad5fdd90d5d28611732ef22a02d5760e7c9 (diff) | |
| download | asp32-7507592d73fd91af95c7bd659d2cfa84a48ec370.tar.xz | |
Merge remote-tracking 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 892dc78..da6a253 100644 --- a/package.inc.sh +++ b/package.inc.sh @@ -135,7 +135,7 @@ package_export() { subtree=repos/$repo-$OPT_ARCH fi - if ! git ls-tree "remotes/$remote/packages/$pkgname" "$subtree/" &>/dev/null; then + if ! git show "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 |