diff options
| author | Loïc Hoguin <[email protected]> | 2015-01-08 13:40:43 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-01-08 13:40:43 +0100 |
| commit | abb11f81f5e23ebda3334f1a8669aa9097a3895d (patch) | |
| tree | 101774c96c0c89cf0782d7403a978e1ae7a9f89f /plugins/c_src.mk | |
| parent | 2a6499a167354f2a1259b28b2c3105f08db977d1 (diff) | |
| download | erlang.mk-abb11f81f5e23ebda3334f1a8669aa9097a3895d.tar.gz erlang.mk-abb11f81f5e23ebda3334f1a8669aa9097a3895d.tar.bz2 erlang.mk-abb11f81f5e23ebda3334f1a8669aa9097a3895d.zip | |
Speed up "erl" invocations
Use "+A0 -noinput -boot start_clean" as start argument.
Use halt/{1,2} to shutdown the VM faster.
Diffstat (limited to 'plugins/c_src.mk')
| -rw-r--r-- | plugins/c_src.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/c_src.mk b/plugins/c_src.mk index 7c1fd2e..13d2f62 100644 --- a/plugins/c_src.mk +++ b/plugins/c_src.mk @@ -81,7 +81,7 @@ $(C_SRC_OUTPUT): $(OBJECTS) $(COMPILE_CPP) $(OUTPUT_OPTION) $< $(C_SRC_ENV): - @erl -noshell -noinput -eval "file:write_file(\"$(C_SRC_ENV)\", \ + @$(ERL) -eval "file:write_file(\"$(C_SRC_ENV)\", \ io_lib:format( \ \"ERTS_INCLUDE_DIR ?= ~s/erts-~s/include/~n\" \ \"ERL_INTERFACE_INCLUDE_DIR ?= ~s~n\" \ @@ -89,7 +89,7 @@ $(C_SRC_ENV): [code:root_dir(), erlang:system_info(version), \ code:lib_dir(erl_interface, include), \ code:lib_dir(erl_interface, lib)])), \ - erlang:halt()." + halt()." clean:: clean-c_src |