summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
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