projects / arvados-dev.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 3202047) | patch
Tweak after enabling `set -e`: handle grep properly. Also be more
authorWard Vandewege <ward@curii.com>
Thu, 3 Sep 2020 21:12:06 +0000 (17:12 -0400)
committerWard Vandewege <ward@curii.com>
Thu, 3 Sep 2020 21:12:38 +0000 (17:12 -0400)
commitab423a42bda26be44a87bb574994f97c5bbe217e
tree8f1dacc6d372f0c98d80650ed0fea46650c1a7ectree | snapshot
parent32020479d14ba59c702088a2c9b1079ab4c522e0commit | diff
Tweak after enabling `set -e`: handle grep properly. Also be more
specific about the version number that is retrieved.

No issue #

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>
jenkins/run-deploy.sh diff | blob | history