diff options
| -rw-r--r-- | tester/covoar/covoar.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tester/covoar/covoar.cc b/tester/covoar/covoar.cc index 9608bc3..eadf0ec 100644 --- a/tester/covoar/covoar.cc +++ b/tester/covoar/covoar.cc @@ -227,7 +227,8 @@ int main( case 'S': symbolSet = optarg; break; case 'T': target = optarg; break; case 'O': outputDirectory = optarg; break; - case 'v': Verbose = true; break; + case 'v': Verbose = true; + rld::verbose_inc (); break; case 'p': projectName = optarg; break; case 'd': debug = true; break; default: /* '?' */ |