diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/buildman/builderthread.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/buildman/builderthread.py b/tools/buildman/builderthread.py index b4cfdeee08..ce1cfddf8c 100644 --- a/tools/buildman/builderthread.py +++ b/tools/buildman/builderthread.py @@ -203,7 +203,9 @@ class BuilderThread(threading.Thread): src_dir = os.getcwd() else: args.append('O=build') - if not self.builder.verbose_build: + if self.builder.verbose_build: + args.append('V=1') + else: args.append('-s') if self.builder.num_jobs is not None: args.extend(['-j', str(self.builder.num_jobs)]) |
