diff options
| -rw-r--r-- | core/core.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/core.mk b/core/core.mk index eb16c0d..77adc2e 100644 --- a/core/core.mk +++ b/core/core.mk @@ -66,7 +66,7 @@ export ERLANG_MK_TMP # "erl" command. -ERL = erl +A0 -noinput -boot no_dot_erlang +ERL = erl +A1 -noinput -boot no_dot_erlang # Platform detection. |