summaryrefslogtreecommitdiff
path: root/mbld/util.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-08-24 06:07:30 -0700
committerOri Bernstein <ori@eigenstate.org>2018-08-24 06:07:30 -0700
commite54af86927ced66fb7fa8ad744cfb609390f04d8 (patch)
treebb297c1f908ef83ee6544a0bd1c7a424be0ae7c4 /mbld/util.myr
parent93cff6aba077499c3693896cba43b1ceaaca7a62 (diff)
downloadmc-e54af86927ced66fb7fa8ad744cfb609390f04d8.tar.gz
Add -v option, make it print test output.
Diffstat (limited to 'mbld/util.myr')
-rw-r--r--mbld/util.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/mbld/util.myr b/mbld/util.myr
index 46fb462..b008faf 100644
--- a/mbld/util.myr
+++ b/mbld/util.myr
@@ -33,7 +33,7 @@ const run = {cmd, dir
const mbldput = {fmt, args
var ap
- if !opt_silent
+ if opt_verbosity >= 0
ap = std.vastart(&args)
std.putv(fmt, &ap)
;;