From b813542f26e31fe9f783e566ca0d8865a086ea45 Mon Sep 17 00:00:00 2001 From: Tuncer Ayaz Date: Wed, 3 Sep 2014 20:16:14 +0200 Subject: [PATCH] Fix 'make build_plt' The dialyzer --add_to_plt call was not specifying the proper rebar plt to add diameter to. --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6f42e8c..0be6427 100644 --- a/Makefile +++ b/Makefile @@ -41,7 +41,9 @@ build_plt: reltool \ snmp \ sasl - -dialyzer --add_to_plt --output_plt $(PLT_FILENAME) --apps diameter + -dialyzer --add_to_plt --plt $(PLT_FILENAME) \ + --output_plt $(PLT_FILENAME) \ + --apps diameter dialyzer: dialyzer_warnings @diff -U0 dialyzer_reference dialyzer_warnings