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/edoc.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/edoc.mk')
| -rw-r--r-- | plugins/edoc.mk | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/plugins/edoc.mk b/plugins/edoc.mk index 5249d08..3f94c43 100644 --- a/plugins/edoc.mk +++ b/plugins/edoc.mk @@ -10,8 +10,7 @@ EDOC_OPTS ?= # Core targets. docs:: distclean-edoc - $(gen_verbose) erl -noshell \ - -eval 'edoc:application($(PROJECT), ".", [$(EDOC_OPTS)]), init:stop().' + $(gen_verbose) $(ERL) -eval 'edoc:application($(PROJECT), ".", [$(EDOC_OPTS)]), halt().' distclean:: distclean-edoc |