diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-20 19:17:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-20 19:17:37 -0800 |
| commit | 73695c79619fae580fa0f465ba28e1ea51f0b5e1 (patch) | |
| tree | 5d72eaa41eee2c8afdb2c88cb87e82fdab97ff15 /src/base | |
| parent | 6f0d80885930140eac21d63cf7a7a1254d75b60a (diff) | |
| download | abc-73695c79619fae580fa0f465ba28e1ea51f0b5e1.tar.gz abc-73695c79619fae580fa0f465ba28e1ea51f0b5e1.tar.bz2 abc-73695c79619fae580fa0f465ba28e1ea51f0b5e1.zip | |
Various usability changes (second round).
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/main/mainReal.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c index f33c0125..353f7015 100644 --- a/src/base/main/mainReal.c +++ b/src/base/main/mainReal.c @@ -131,8 +131,8 @@ int Abc_RealMain( int argc, char * argv[] ) enable_dbg_outs ^= 1; break; - case 'm': -#ifndef WIN32 + case 'm': { +#ifndef WIN32 int maxMb = atoi(globalUtilOptarg); printf("Limiting memory use to %d MB\n", maxMb); struct rlimit limit = { @@ -141,9 +141,9 @@ int Abc_RealMain( int argc, char * argv[] ) }; setrlimit(RLIMIT_AS, &limit); #endif - break; - - case 'l': + break; + } + case 'l': { #ifndef WIN32 int maxTime = atoi(globalUtilOptarg); printf("Limiting time to %d seconds\n", maxTime); @@ -153,8 +153,8 @@ int Abc_RealMain( int argc, char * argv[] ) }; setrlimit(RLIMIT_CPU, &limit); #endif - break; - + break; + } case 'c': if( Vec_StrSize(sCommandUsr) > 0 ) { |