<div dir="auto">Seems obvious. Push it.</div><br><div class="gmail_quote"><div dir="ltr">On Sat, May 5, 2018, 3:41 AM Chris Johns <<a href="mailto:chrisj@rtems.org">chrisj@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">---<br>
 tester/covoar/covoar.cc | 3 ++-<br>
 1 file changed, 2 insertions(+), 1 deletion(-)<br>
<br>
diff --git a/tester/covoar/covoar.cc b/tester/covoar/covoar.cc<br>
index 09c86c2..5bed98f 100644<br>
--- a/tester/covoar/covoar.cc<br>
+++ b/tester/covoar/covoar.cc<br>
@@ -227,7 +227,8 @@ int main(<br>
       case 'S': symbolSet           = optarg; break;<br>
       case 'T': target              = optarg; break;<br>
       case 'O': outputDirectory     = optarg; break;<br>
-      case 'v': Verbose             = true;   break;<br>
+      case 'v': Verbose             = true;<br>
+                rld::verbose_inc ();          break;<br>
       case 'p': projectName         = optarg; break;<br>
       case 'd': debug               = true;   break;<br>
       default: /* '?' */<br>
-- <br>
2.15.1<br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank" rel="noreferrer">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div>