diff options
| author | Eric B Merritt <[email protected]> | 2013-04-05 16:47:09 -0700 |
|---|---|---|
| committer | Eric B Merritt <[email protected]> | 2013-04-05 16:47:09 -0700 |
| commit | 4e4c4077de18f7374ea72ff518fbb6dbb271ea3c (patch) | |
| tree | eadd7c19d106819f062b0694e922e74e9e12f8fb /Makefile | |
| parent | a96ae5dc597cbc01515c75fea9f41a6d79be91b3 (diff) | |
| download | relx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.tar.gz relx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.tar.bz2 relx-4e4c4077de18f7374ea72ff518fbb6dbb271ea3c.zip | |
Hopefully force dialyzer to produce output
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -77,11 +77,11 @@ test: compile eunit ct $(DEPS_PLT): @echo Building local plt at $(DEPS_PLT) @echo - dialyzer --output_plt $(DEPS_PLT) --build_plt \ + dialyzer --statistics --output_plt $(DEPS_PLT) --build_plt \ --apps erts kernel stdlib -r deps dialyzer: $(DEPS_PLT) - dialyzer --fullpath --plt $(DEPS_PLT) -I include -Wrace_conditions -r ./ebin + dialyzer --statistics --fullpath --plt $(DEPS_PLT) -I include -Wrace_conditions -r ./ebin typer: typer --plt $(DEPS_PLT) -r ./src |