Adding new command line args.

cde2830d · Alan Mishchenko · 558eee98 · cde2830d
Commit cde2830d authored Mar 18, 2019 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/base/abci/abc.c
+3 -0

No files found.
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -45688,6 +45688,9 @@ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv )
            if ( RareUse < 0 )
                goto usage;
            break;
+        case 'r':
+            fReplaceRare ^= 1;
+            break;
        case 'v':
            fVerbose ^= 1;
            break;