diff options
author | Björn Gustavsson <[email protected]> | 2018-10-03 13:43:51 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-10-03 13:43:51 +0200 |
commit | 5ecd1c97c033bfa26c38425269ca1146a002a2b6 (patch) | |
tree | 5f0221c48dd22efd7c6f0f99717314fb367f275b /lib/compiler/src | |
parent | fd3674286e63b52cf941f0297b4c53cca18a5d28 (diff) | |
parent | 39c04c516bf728f93759ad50eb4ac2cf37727d2c (diff) | |
download | otp-5ecd1c97c033bfa26c38425269ca1146a002a2b6.tar.gz otp-5ecd1c97c033bfa26c38425269ca1146a002a2b6.tar.bz2 otp-5ecd1c97c033bfa26c38425269ca1146a002a2b6.zip |
Merge pull request #1972 from josevalim/jv-nospawn_process
Introduce the no_spawn_compiler_process option
Diffstat (limited to 'lib/compiler/src')
-rw-r--r-- | lib/compiler/src/compile.erl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/compiler/src/compile.erl b/lib/compiler/src/compile.erl index d894694c79..7a0531cb2b 100644 --- a/lib/compiler/src/compile.erl +++ b/lib/compiler/src/compile.erl @@ -210,8 +210,11 @@ do_compile(Input, Opts0) -> {error,Reason} end end, - %% Dialyzer has already spawned workers. - case lists:member(dialyzer, Opts) of + %% Some tools, like Dialyzer, has already spawned workers + %% and spawning extra workers actually slow the compilation + %% down instead of speeding it up, so we provide a mechanism + %% to bypass the compiler process. + case lists:member(no_spawn_compiler_process, Opts) of true -> IntFun(); false -> |