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/shell.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/shell.mk')
0 files changed, 0 insertions, 0 deletions