diff options
author | Loïc Hoguin <[email protected]> | 2019-10-09 13:22:41 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2019-10-09 13:22:41 +0200 |
commit | 08b7a4eb95cb86e42486c344919a662f912e72e9 (patch) | |
tree | 330a332f056bf5764a49510b6d8e634cda51265f /core/core.mk | |
parent | f007daadfda8992bbd008205dfc8cf06f561aa77 (diff) | |
download | erlang.mk-08b7a4eb95cb86e42486c344919a662f912e72e9.tar.gz erlang.mk-08b7a4eb95cb86e42486c344919a662f912e72e9.tar.bz2 erlang.mk-08b7a4eb95cb86e42486c344919a662f912e72e9.zip |
Use no_dot_erlang instead of start_clean
Diffstat (limited to 'core/core.mk')
-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 855d798..eb16c0d 100644 --- a/core/core.mk +++ b/core/core.mk @@ -66,7 +66,7 @@ export ERLANG_MK_TMP # "erl" command. -ERL = erl +A0 -noinput -boot start_clean +ERL = erl +A0 -noinput -boot no_dot_erlang # Platform detection. |