diff options
| author | Krzysztof Jurewicz <[email protected]> | 2018-07-01 11:56:40 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-07-05 13:05:04 +0200 |
| commit | a52826d6f65fb1d051d860ef17204c0a4342604a (patch) | |
| tree | 9a92507c819846e19f880ef7f9dedd088ad94108 /test/plugin_dialyzer.mk | |
| parent | aecd55bd7dceadb993acc5834876416db95a77b8 (diff) | |
| download | erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.tar.gz erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.tar.bz2 erlang.mk-a52826d6f65fb1d051d860ef17204c0a4342604a.zip | |
Swallow warnings when creating a PLT
Diffstat (limited to 'test/plugin_dialyzer.mk')
| -rw-r--r-- | test/plugin_dialyzer.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/plugin_dialyzer.mk b/test/plugin_dialyzer.mk index 44ba403..60dce34 100644 --- a/test/plugin_dialyzer.mk +++ b/test/plugin_dialyzer.mk @@ -290,3 +290,16 @@ dialyzer-plt-ebin-only: build clean $i "Confirm that rebar files were not included in the PLT" $t ! dialyzer --plt_info --plt $(APP)/.$(APP).plt | grep -q rebar + +dialyzer-plt-swallow-warnings: build clean + + $i "Bootstrap a new OTP application named $(APP)" + $t mkdir $(APP)/ + $t cp ../erlang.mk $(APP)/ + $t $(MAKE) -C $(APP) -f erlang.mk bootstrap $v + + $i "Add LFE version referring to a missing function to the list of dependencies" + $t perl -ni.bak -e 'print;if ($$.==1) {print "DEPS = lfe\ndep_lfe_commit = 2880c8a2a7f\n"}' $(APP)/Makefile + + $i "Create the PLT file" + $t $(DIALYZER_MUTEX) $(MAKE) -C $(APP) plt $v |