diff options
author | José Valim <[email protected]> | 2018-10-01 13:24:11 +0200 |
---|---|---|
committer | José Valim <[email protected]> | 2018-10-01 13:24:11 +0200 |
commit | 39c04c516bf728f93759ad50eb4ac2cf37727d2c (patch) | |
tree | c4d28520465737258ee3427d032f7f2cc6c85c4e /lib/dialyzer | |
parent | b0af859401fe5f7317a5ed474dfab2740a73b4c8 (diff) | |
download | otp-39c04c516bf728f93759ad50eb4ac2cf37727d2c.tar.gz otp-39c04c516bf728f93759ad50eb4ac2cf37727d2c.tar.bz2 otp-39c04c516bf728f93759ad50eb4ac2cf37727d2c.zip |
Introduce the no_spawn_compiler_process option
By default, all code is compiled in a separate process
which is terminated at the end of compilation. However,
some tools, like Dialyzer or compilers for other BEAM languages,
may already manage their own worker processes and spawning
an extra process may slow the compilation down.
In such scenarios, you can pass this option to stop the
compiler from spawning an additional process.
This generalizes commit 657760e18087b0cdbaecc5e96e46f6f66bc9497a.
Diffstat (limited to 'lib/dialyzer')
-rw-r--r-- | lib/dialyzer/src/dialyzer_utils.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_utils.erl b/lib/dialyzer/src/dialyzer_utils.erl index abd89034f3..ebe4040c34 100644 --- a/lib/dialyzer/src/dialyzer_utils.erl +++ b/lib/dialyzer/src/dialyzer_utils.erl @@ -643,7 +643,7 @@ sets_filter([Mod|Mods], ExpTypes) -> src_compiler_opts() -> [no_copt, to_core, binary, return_errors, no_inline, strict_record_tests, strict_record_updates, - dialyzer]. + dialyzer, no_spawn_compiler_process]. -spec format_errors([{module(), string()}]) -> [string()]. |