From 992c6788db73837a503bdc3c8f8a17d6357c224e Mon Sep 17 00:00:00 2001 From: nsensfel Date: Fri, 11 Jan 2019 17:43:14 +0100 Subject: Got Dialyzer to yell at me again! Yay! --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index d2bf4ae..13ce899 100644 --- a/Makefile +++ b/Makefile @@ -138,7 +138,7 @@ $(DIALYZER_BASE_PLT_FILE): debug_run: $(DIALYZER_BASE_PLT_FILE) $(MAKE) debug_rebuild cp $< $(DIALYZER_PLT_FILE) - $(DIALYZER_EXEC) --add_to_plt --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR) + $(DIALYZER_EXEC) --add_to_plt --get_warnings --plt $(DIALYZER_PLT_FILE) -r $(BIN_DIR) $(DIALYZER_EXEC) --check_plt --plt $(DIALYZER_PLT_FILE) $(DIALYZER_EXEC) --get_warnings $(ERL_SRC_FILES) $(PREPROCESSED_ERL_SRC_FILES)\ --src --plt $(DIALYZER_PLT_FILE) -- cgit v1.2.3-70-g09d2