diff options
| author | Stavros Aronis <[email protected]> | 2012-02-10 14:42:30 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:17 +0200 |
| commit | e6fa01359a41d3b054260d01d2880820c867ca2b (patch) | |
| tree | ce64107689f9661e856bdbda85629933b47d74a6 /lib/dialyzer/src/Makefile | |
| parent | 571f4fb9838857364d85d21e7c38881ac0b8c695 (diff) | |
| download | otp-e6fa01359a41d3b054260d01d2880820c867ca2b.tar.gz otp-e6fa01359a41d3b054260d01d2880820c867ca2b.tar.bz2 otp-e6fa01359a41d3b054260d01d2880820c867ca2b.zip | |
Parallel typesig analysis
Diffstat (limited to 'lib/dialyzer/src/Makefile')
| -rw-r--r-- | lib/dialyzer/src/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/Makefile b/lib/dialyzer/src/Makefile index 04f3b844c4..2f1eaf5754 100644 --- a/lib/dialyzer/src/Makefile +++ b/lib/dialyzer/src/Makefile @@ -64,6 +64,8 @@ MODULES = \ dialyzer_races \ dialyzer_succ_typings \ dialyzer_typesig \ + dialyzer_typesig_coordinator \ + dialyzer_typesig_worker \ dialyzer_utils HRL_FILES= dialyzer.hrl dialyzer_gui_wx.hrl |