diff options
| author | Christoph Berg | 2016-01-01 21:34:44 +0000 |
|---|---|---|
| committer | Christoph Berg | 2016-01-01 21:34:44 +0000 |
| commit | 3b3850d1dac0ef2f43448c8aa4a207821390441c (patch) | |
| tree | 3636f993a1c65fafaa2f21bfea1247d880268e48 | |
| parent | f3cfe139c38821ffb0ab8d7fd85bf628240be8a6 (diff) | |
Don't fail on .changes with only version-specific .debs
| -rwxr-xr-x | jenkins/dput-pgdg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins/dput-pgdg b/jenkins/dput-pgdg index c218a45..e125159 100755 --- a/jenkins/dput-pgdg +++ b/jenkins/dput-pgdg @@ -23,6 +23,7 @@ if [ "${upload:-all}" = "extension-only" ]; then *_source.changes) continue ;; esac NONEXTDEBS=$(dcmd --deb echo $c | xargs -n1 | egrep -v -- '[^_]-[1-9][0-9]?\.[0-9][-_]' | sed -e 's!.*/!!') + [ -z "$NONEXTDEBS" ] && continue # only version-specific .debs in there changestool $c dumbremove $NONEXTDEBS done fi |