summaryrefslogtreecommitdiffstats
path: root/src/base/main/mainReal.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/base/main/mainReal.c')
-rw-r--r--src/base/main/mainReal.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c
index a13be5e5..420f2cf1 100644
--- a/src/base/main/mainReal.c
+++ b/src/base/main/mainReal.c
@@ -134,7 +134,7 @@ int Abc_RealMain( int argc, char * argv[] )
break;
case 'm': {
-#if !defined(WIN32) && !defined(__wasm)
+#if !defined(WIN32) && !defined(ABC_NO_RLIMIT)
int maxMb = atoi(globalUtilOptarg);
printf("Limiting memory use to %d MB\n", maxMb);
struct rlimit limit = {
@@ -146,7 +146,7 @@ int Abc_RealMain( int argc, char * argv[] )
break;
}
case 'l': {
-#if !defined(WIN32) && !defined(__wasm)
+#if !defined(WIN32) && !defined(ABC_NO_RLIMIT)
rlim_t maxTime = atoi(globalUtilOptarg);
printf("Limiting time to %d seconds\n", (int)maxTime);
struct rlimit limit = {