Переглянути джерело

Stricter dialyzer options

pull/74/head
Andrew Thompson 13 роки тому
джерело
коміт
d1de19b4a3
1 змінених файлів з 1 додано та 1 видалено
  1. +1
    -1
      Makefile

+ 1
- 1
Makefile Переглянути файл

@ -39,7 +39,7 @@ dialyzer: compile
@echo Use "'make build_plt'" to build PLT prior to using this target.
@echo
@sleep 1
dialyzer -Wno_return -Wunmatched_returns --plt $(COMBO_PLT) ebin | \
dialyzer -Wunmatched_returns --plt $(COMBO_PLT) ebin | \
fgrep -v -f ./dialyzer.ignore-warnings
cleanplt:

Завантаження…
Відмінити
Зберегти