Fix --debug overriding preceding --dump-treei, bug580.

Signed-off-by: Wilson Snyder <[email protected]>
This commit is contained in:
Jeremy Bennett
2012-11-21 06:55:28 -05:00
committed by Wilson Snyder
parent 899a7df14a
commit 39a31fc17f
3 changed files with 5 additions and 2 deletions
+1 -1
View File
@@ -1243,7 +1243,7 @@ V3Options::~V3Options() {
void V3Options::setDebugMode(int level) {
V3Error::debugDefault(level);
m_dumpTree = true;
if (!m_dumpTree) m_dumpTree = true; // Don't override if already set.
m_stats = true;
m_debugCheck = true;
cout << "Starting "<<version()<<endl;