Internals: Remove duplicated entry of -quiet-exit. No functional change is intended. (#2821)

This commit is contained in:
Yutetsu TAKATSUKASA 2021-03-06 13:11:54 +09:00 committed by GitHub
parent de774ac4d8
commit cf9ac8270b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1445,8 +1445,6 @@ void V3Options::parseOptsList(FileLine* fl, const string& optdir, int argc, char
// Processed only in bin/verilator shell
} else if (!strcmp(sw, "-gdbbt")) {
// Processed only in bin/verilator shell
} else if (!strcmp(sw, "-quiet-exit")) {
// Processed only in bin/verilator shell
} else if (!strcmp(sw, "-mod-prefix") && (i + 1) < argc) {
shift;
m_modPrefix = argv[i];