diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-29 13:02:36 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-29 13:02:37 +0100 |
commit | 3ae4d20d8146c3ea111b3f622bf00adbd4e6442f (patch) | |
tree | 836067c453d6d8c5a699e077cb81f23646e0b4b5 /tests | |
parent | 96f0ac573b0c0672dbeae9ab3d3ace947c7def28 (diff) |
test suite: gpg-agent workaround: Cope if ps not found.debian/5.5+exp6archive/debian/5.5+exp6
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/tstunt/gpg-withagent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/tstunt/gpg-withagent b/tests/tstunt/gpg-withagent index 4318cce..3f56d08 100755 --- a/tests/tstunt/gpg-withagent +++ b/tests/tstunt/gpg-withagent @@ -3,7 +3,7 @@ set -ex d () { date --iso-8601=ns >&2 - ps -ef | grep gpg-agent >&2 + ps -ef | grep gpg-agent ||: >&2 } d |