From 38147cbcbd36d0618590bddff0f158d64b8904cf Mon Sep 17 00:00:00 2001 From: Jay Nelson Date: Tue, 15 Jul 2014 18:32:39 -0700 Subject: Allow $DIALYZER_OPTS to add more source directories The current ordering of args in the dialyzer command don't allow additional source directories to be specified. Putting --no_native first allows the beginning of the $DIALYZER_OPTS to specify additional directories of files to be analyzed. --- erlang.mk | 2 +- plugins/dialyzer.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/erlang.mk b/erlang.mk index d29632c..328a732 100644 --- a/erlang.mk +++ b/erlang.mk @@ -269,7 +269,7 @@ build-plt: deps app @dialyzer --build_plt --apps erts kernel stdlib $(PLT_APPS) $(ALL_DEPS_DIRS) dialyze: - @dialyzer --src src --no_native $(DIALYZER_OPTS) + @dialyzer --no_native --src src $(DIALYZER_OPTS) # Packages. diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 8754919..daec129 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -31,4 +31,4 @@ distclean-plt: $(gen_verbose) rm -f $(DIALYZER_PLT) dialyze: - @dialyzer --src src --no_native $(DIALYZER_OPTS) + @dialyzer --no_native --src src $(DIALYZER_OPTS) -- cgit v1.2.3