diff options
author | Kenji Rikitake <[email protected]> | 2014-11-09 20:11:28 +0900 |
---|---|---|
committer | Kenji Rikitake <[email protected]> | 2014-11-09 20:11:28 +0900 |
commit | 73df95eee6c06004f26e378d67739a7fa5be408a (patch) | |
tree | 751bb613684d53702b039a7ae62cee057242ddf9 /plugins/c_src.mk | |
parent | df5a4779bc3c5a5bffee4186a8f69408262de5d2 (diff) | |
download | erlang.mk-73df95eee6c06004f26e378d67739a7fa5be408a.tar.gz erlang.mk-73df95eee6c06004f26e378d67739a7fa5be408a.tar.bz2 erlang.mk-73df95eee6c06004f26e378d67739a7fa5be408a.zip |
Use erlang:halt/0 for c_src.mk
* erlang:halt/0 is much faster than init:stop/0 to terminate
execution (no wait time)
Diffstat (limited to 'plugins/c_src.mk')
-rw-r--r-- | plugins/c_src.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/c_src.mk b/plugins/c_src.mk index 2004b2d..daee44e 100644 --- a/plugins/c_src.mk +++ b/plugins/c_src.mk @@ -43,7 +43,7 @@ $(C_SRC_ENV): erl -noshell -noinput -eval "file:write_file(\"$(C_SRC_ENV)\", \ io_lib:format(\"ERTS_INCLUDE_DIR ?= ~s/erts-~s/include/\", \ [code:root_dir(), erlang:system_info(version)])), \ - init:stop()." + erlang:halt()." -include $(C_SRC_ENV) |