diff options
Diffstat (limited to 'plugins')
| -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) |