summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
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