diff options
author | Grigory Starinkin <starinkin@gmail.com> | 2018-05-08 21:42:43 +0100 |
---|---|---|
committer | Grigory Starinkin <starinkin@gmail.com> | 2018-05-08 21:42:43 +0100 |
commit | c5ae9f3fed035d2ef8f072da53647c212f92db8b (patch) | |
tree | d6a095081f8c4972961ff7866e7f742d1eeb9f24 /priv | |
parent | 59a99a704fd22eb1e5b451fbe2d97ae7a6e29d9d (diff) |
start at least one async thread in async thread pool
fixes an issue when shell is terminated with an error "Bus error: 10",
on attempt to run rebar shell with verbose logging
Diffstat (limited to 'priv')
-rw-r--r-- | priv/templates/escript_rebar.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/priv/templates/escript_rebar.config b/priv/templates/escript_rebar.config index ef498a8..3ed7150 100644 --- a/priv/templates/escript_rebar.config +++ b/priv/templates/escript_rebar.config @@ -5,7 +5,7 @@ [{{name}}]}. {escript_main_app, {{name}}}. {escript_name, {{name}}}. -{escript_emu_args, "%%! +sbtu +A0\n"}. +{escript_emu_args, "%%! +sbtu +A1\n"}. %% Profiles {profiles, [{test, |