Skip to content
Snippets Groups Projects
Commit 1c3c3796 authored by Edward Z. Yang's avatar Edward Z. Yang
Browse files

Don't put VQuiet in VFlags; that's reserved for user-toggles.


Since VQuiet is set programmatically, it's inappropriate
for it to be propagated to the command line.  But unfortunately,
if it was set, we were accidentally using the fancy flag format.
This patch moves VQuiet to its own field in Verbosity so we
don't get confused.

Fixes #4393.

Signed-off-by: default avatarEdward Z. Yang <ezyang@cs.stanford.edu>
parent 82424315
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment