jjb: fix coverity for linux-rseq
authorMichael Jeanson <mjeanson@efficios.com>
Wed, 24 Apr 2019 19:12:10 +0000 (15:12 -0400)
committerMichael Jeanson <mjeanson@efficios.com>
Wed, 24 Apr 2019 19:12:10 +0000 (15:12 -0400)
commit1c1cca412fd889887e6e0b53e55ad93a79641475
treeddf08ed73a43a37c2b8894c30385085b8fbe3682
parent687bfe6f33e8a7c35d7713d555871237e84d533b
jjb: fix coverity for linux-rseq

Signed-off-by: Michael Jeanson <mjeanson@efficios.com>
scripts/common/coverity.sh
This page took 0.023765 seconds and 4 git commands to generate.