diff options
author | Michal Kuratczyk <[email protected]> | 2023-05-19 19:31:41 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2023-05-23 14:47:09 +0200 |
commit | e1e3d15a1b211fc60b83557a2ea54ea3741f3e80 (patch) | |
tree | add27fb53dd90c76f067b6c9a9856ab776bfb2fb | |
parent | f368ac4fc719e0eb28bb7c3f5d2384eddf65fca3 (diff) | |
download | erlang.mk-e1e3d15a1b211fc60b83557a2ea54ea3741f3e80.tar.gz erlang.mk-e1e3d15a1b211fc60b83557a2ea54ea3741f3e80.tar.bz2 erlang.mk-e1e3d15a1b211fc60b83557a2ea54ea3741f3e80.zip |
Remove deprecated --no_native option from dialyzer
-rw-r--r-- | plugins/dialyzer.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/dialyzer.mk b/plugins/dialyzer.mk index 91b3861..bb4723a 100644 --- a/plugins/dialyzer.mk +++ b/plugins/dialyzer.mk @@ -69,6 +69,6 @@ dialyze: $(if $(filter --src,$(DIALYZER_DIRS)),,deps app) else dialyze: $(DIALYZER_PLT) endif - $(verbose) dialyzer --no_native `$(ERL) \ + $(verbose) dialyzer `$(ERL) \ -eval "$(subst $(newline),,$(call escape_dquotes,$(call filter_opts.erl)))" \ -extra $(ERLC_OPTS)` $(DIALYZER_DIRS) $(DIALYZER_OPTS) $(if $(wildcard ebin/),-pa ebin/) |