diff options
| author | Luca Favatella <[email protected]> | 2015-09-17 22:07:54 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-01-26 09:11:46 +0100 |
| commit | 7dcecb535129bf9fbfddc08f639363aee3278810 (patch) | |
| tree | 929d56d487c8a82658a479abe8c5f7b2200a2a0c /lib/dialyzer/src/Makefile | |
| parent | d4d083d9e9c6d48519404eda51761fce01f8f0e3 (diff) | |
| download | otp-7dcecb535129bf9fbfddc08f639363aee3278810.tar.gz otp-7dcecb535129bf9fbfddc08f639363aee3278810.tar.bz2 otp-7dcecb535129bf9fbfddc08f639363aee3278810.zip | |
Split race_data_server out of dialyzer_callgraph
... in order to reduce size of module dialyzer_callgraph, down from
~850 to ~750 lines.
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 770af2140f..fd75cd5cd8 100644 --- a/lib/dialyzer/src/Makefile +++ b/lib/dialyzer/src/Makefile @@ -61,6 +61,7 @@ MODULES = \ dialyzer_gui_wx \ dialyzer_options \ dialyzer_plt \ + dialyzer_race_data_server \ dialyzer_races \ dialyzer_succ_typings \ dialyzer_timing \ @@ -140,6 +141,7 @@ $(EBIN)/dialyzer_explanation.beam: dialyzer.hrl $(EBIN)/dialyzer_gui_wx.beam: dialyzer.hrl dialyzer_gui_wx.hrl $(EBIN)/dialyzer_options.beam: dialyzer.hrl $(EBIN)/dialyzer_plt.beam: dialyzer.hrl +$(EBIN)/dialyzer_race_data_server.beam: dialyzer.hrl $(EBIN)/dialyzer_races.beam: dialyzer.hrl $(EBIN)/dialyzer_succ_typings.beam: dialyzer.hrl $(EBIN)/dialyzer_typesig.beam: dialyzer.hrl |