Skip to content

A
abc
Commit c95d9499 by Miodrag Milanovic
Options

Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead." 

This reverts commit fd2c9b1c.
parent 8f5c823f
Showing with 2 additions and 2 deletions
src/base/main/mainReal.c
...@@ -134,7 +134,7 @@ int Abc_RealMain( int argc, char * argv[] ) ...@@ -134,7 +134,7 @@ int Abc_RealMain( int argc, char * argv[] )
break; break;
case 'm': { case 'm': {
#if !defined(WIN32) && !defined(__wasm) #if !defined(WIN32) && !defined(ABC_NO_RLIMIT)
int maxMb = atoi(globalUtilOptarg); int maxMb = atoi(globalUtilOptarg);
printf("Limiting memory use to %d MB\n", maxMb); printf("Limiting memory use to %d MB\n", maxMb);
struct rlimit limit = { struct rlimit limit = {
...@@ -146,7 +146,7 @@ int Abc_RealMain( int argc, char * argv[] ) ...@@ -146,7 +146,7 @@ int Abc_RealMain( int argc, char * argv[] )
break; break;
} }
case 'l': { case 'l': {
#if !defined(WIN32) && !defined(__wasm) #if !defined(WIN32) && !defined(ABC_NO_RLIMIT)
rlim_t maxTime = atoi(globalUtilOptarg); rlim_t maxTime = atoi(globalUtilOptarg);
printf("Limiting time to %d seconds\n", (int)maxTime); printf("Limiting time to %d seconds\n", (int)maxTime);
struct rlimit limit = { struct rlimit limit = {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment