summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-02-27 17:19:59 +0100
committernsensfel <SpamShield0@noot-noot.org>2018-02-27 17:19:59 +0100
commit8ed3e625a5576b6f43b966ee77e0f6de282a074e (patch)
tree0dbd68dc9e49d02861b1c27956b31fcce2bc6677 /Makefile
parent292022649270d36c8ab0c813e4d7e07f3e067231 (diff)
...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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