diff options
Diffstat (limited to 'contrib/cirrus')
| -rwxr-xr-x | contrib/cirrus/runner.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/cirrus/runner.sh b/contrib/cirrus/runner.sh index b0060163e..572f0b44a 100755 --- a/contrib/cirrus/runner.sh +++ b/contrib/cirrus/runner.sh @@ -210,7 +210,8 @@ function _run_release() { bin/podman info msg "Checking podman release (or potential release) criteria." - dev=$(bin/podman info |& grep -- -dev) + # We're running under 'set -eo pipefail'; make sure this statement passes + dev=$(bin/podman info |& grep -- -dev || echo -n '') if [[ -n "$dev" ]]; then die "Releases must never contain '-dev' in output of 'podman info' ($dev)" fi |