From: Brian Norris <banorris@uci.edu>
Date: Fri, 31 May 2013 23:45:42 +0000 (-0700)
Subject: params: add multi-level verbosity
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=251c63183adee7dbdceeabce5a706e8281bc2887;hp=251c63183adee7dbdceeabce5a706e8281bc2887

params: add multi-level verbosity

Now we can have --verbose=[012], so that the default (0) is still quiet,
the easy verbose flag (--verbose or -v) is noisy but useful (1), and if
you really want some extra noise, you can choose (2). Right now, there
is some minimal extra noise in (2), but this may be expanded if we want
more run-time debuggability, rather than recompiling with 'make debug'.
---