From 8ed3e625a5576b6f43b966ee77e0f6de282a074e Mon Sep 17 00:00:00 2001 From: nsensfel Date: Tue, 27 Feb 2018 17:19:59 +0100 Subject: ... --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 96ebe3c..c5bb150 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ debug: $(DIALYZER_PLT_FILE) $(MAKE) build_debug $(DIALYZER) --check_plt --plt $(DIALYZER_PLT_FILE) $(DIALYZER) --get_warnings $(SRC_DIR)/*.erl $(SRC_DIR)/*/*.erl \ - --src --plt $(DIALYZER_PLT_FILE) -Wunderspecs + --src --plt $(DIALYZER_PLT_FILE) build_debug: $(MAKE) clean -- cgit v1.2.3-70-g09d2