devtools: coverity-scan: do nothing if not in $COVERITY_SCAN_BRANCH

2017-08-12 00:27:57 +02:00 · 2017-08-12 00:27:57 +02:00 · 6a4ef30523
parent aef20dca20
commit 6a4ef30523
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 351dbedd8bb6488986babddcab91736acdc0b64b
+Subproject commit dc88eab70ff44e80df732070523e9047030513c9