Skip to content

Commit

Permalink
caller10: add spec export check to ecallmgr
Browse files Browse the repository at this point in the history
  • Loading branch information
James Aimonetti committed Mar 7, 2014
1 parent f50cd80 commit cdccf56
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions applications/ecallmgr/Makefile
Expand Up @@ -6,8 +6,8 @@ DIALYZER = dialyzer
EBINS = $(shell find $(ROOT)/core -maxdepth 2 -name ebin -print) $(shell find $(ROOT)/deps -maxdepth 2 -name ebin -print)
PA = $(foreach EBIN,$(EBINS),-pa $(EBIN))

ERLC_OPTS = +debug_info +warn_export_all -I$(ROOT)/core -I$(ROOT)/deps $(PA)
# +bin_opt_info
ERLC_OPTS = +debug_info +warn_export_all -I$(ROOT)/core -I$(ROOT)/deps $(PA) \
+warn_missing_spec +bin_opt_info

DIRS = . \
$(ROOT)/core/whistle-1.0.0 \
Expand Down Expand Up @@ -50,7 +50,7 @@ eunit: compile-test
erl -noshell $(PA) \
-pa test -eval "eunit:test([$(MODULES)], [verbose])" -s init stop

dialyze:
dialyze:
@$(DIALYZER) $(foreach DIR,$(DIRS),$(DIR)/ebin) $(PA) \
--plt $(ROOT)/.platform_dialyzer.plt --no_native \
-Werror_handling -Wrace_conditions -Wunmatched_returns # -Wunderspecs

0 comments on commit cdccf56

Please sign in to comment.