diff options
-rw-r--r-- | core/core.mk | 2 | ||||
-rw-r--r-- | test/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/core/core.mk b/core/core.mk index 22ea935..5d5eca0 100644 --- a/core/core.mk +++ b/core/core.mk @@ -66,7 +66,7 @@ export ERLANG_MK_TMP # "erl" command. -ERL = erl +A1 -noinput -boot no_dot_erlang +ERL = erl -noinput -boot no_dot_erlang -kernel start_distribution false +P 1024 +Q 1024 # Platform detection. diff --git a/test/Makefile b/test/Makefile index 78603aa..9bd9168 100644 --- a/test/Makefile +++ b/test/Makefile @@ -18,7 +18,7 @@ export CACHE_DIR # Erlang, quickly! -ERL = erl +A0 -noinput -boot no_dot_erlang +ERL = erl -noinput -boot no_dot_erlang -kernel start_distribution false +P 1024 +Q 1024 # Platform detection, condensed version. |