aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--plugins/c_src.mk2
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)