chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
test suite: gpg-agent workaround: Cope if ps not found.
[dgit.git]
/
tests
/
tstunt
/
gpg-withagent
diff --git
a/tests/tstunt/gpg-withagent
b/tests/tstunt/gpg-withagent
index 4318cce041d995003c2b857ab75f78a1995bbe30..3f56d085c21125df5bbe2ab7fdfcb3c5485729cb 100755
(executable)
--- 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