From 292022649270d36c8ab0c813e4d7e07f3e067231 Mon Sep 17 00:00:00 2001 From: nsensfel Date: Tue, 27 Feb 2018 14:16:16 +0100 Subject: Starting to specify types everywhere... --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 947f0b2..96ebe3c 100644 --- a/Makefile +++ b/Makefile @@ -35,7 +35,8 @@ all: debug: $(DIALYZER_PLT_FILE) $(MAKE) build_debug $(DIALYZER) --check_plt --plt $(DIALYZER_PLT_FILE) - $(DIALYZER) --get_warnings -r $(BIN_DIR) --plt $(DIALYZER_PLT_FILE) + $(DIALYZER) --get_warnings $(SRC_DIR)/*.erl $(SRC_DIR)/*/*.erl \ + --src --plt $(DIALYZER_PLT_FILE) -Wunderspecs build_debug: $(MAKE) clean -- cgit v1.2.3-70-g09d2