summaryrefslogtreecommitdiff
path: root/mbld/opts.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/opts.myr
parent93cff6aba077499c3693896cba43b1ceaaca7a62 (diff)
downloadmc-e54af86927ced66fb7fa8ad744cfb609390f04d8.tar.gz
Add -v option, make it print test output.
Diffstat (limited to 'mbld/opts.myr')
-rw-r--r--mbld/opts.myr4
1 files changed, 2 insertions, 2 deletions
diff --git a/mbld/opts.myr b/mbld/opts.myr
index 5cdc93a..f111d60 100644
--- a/mbld/opts.myr
+++ b/mbld/opts.myr
@@ -20,7 +20,7 @@ pkg bld =
var opt_objdir : byte[:]
var opt_maxproc : std.size
var opt_debug : bool
- var opt_silent : bool
+ var opt_verbosity : int
/* undocumented/unsupported opts */
var opt_mc : byte[:]
@@ -66,7 +66,7 @@ var opt_ldflags = [][:]
var opt_alltags = [][:]
var opt_objdir = "obj"
var opt_genasm = false
-var opt_silent = false
+var opt_verbosity = 0
var opt_maxproc = 1
const initopts = {