Add --quiet-exit, bug1436.

Signed-off-by: Wilson Snyder <[email protected]>
This commit is contained in:
Todd Strader
2019-05-14 06:47:51 -04:00
committed by Wilson Snyder
parent 16997d153f
commit d0fbdfac07
4 changed files with 46 additions and 2 deletions
+3
View File
@@ -1014,6 +1014,9 @@ void V3Options::parseOptsList(FileLine* fl, const string& optdir, int argc, char
else if ( !strcmp (sw, "-gdbbt")) {
// Used only in perl shell
}
else if ( !strcmp (sw, "-quiet-exit")) {
// Used only in perl shell
}
else if ( !strcmp (sw, "-mod-prefix") && (i+1)<argc ) {
shift; m_modPrefix = argv[i];
}