diff options
| author | Hans Bolinder <[email protected]> | 2019-06-14 12:23:11 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-06-14 12:23:11 +0200 |
| commit | 3fd329fd8994f0bb7d544b46a0e6760bcac1ed48 (patch) | |
| tree | bee59da0d8a64d5fcc576e22bb6c1565359780d5 /lib/dialyzer/doc/src | |
| parent | 897a266c3e68d7d94d1f9699ae91cf57fb3b5cc8 (diff) | |
| parent | 1be45363ac9b5ca4370a9769952f6f7641a067ad (diff) | |
| download | otp-3fd329fd8994f0bb7d544b46a0e6760bcac1ed48.tar.gz otp-3fd329fd8994f0bb7d544b46a0e6760bcac1ed48.tar.bz2 otp-3fd329fd8994f0bb7d544b46a0e6760bcac1ed48.zip | |
Merge branch 'legoscia/dialyzer/native_erlang_mode/OTP-15880/PR-2283' into maint
* legoscia/dialyzer/native_erlang_mode/OTP-15880/PR-2283:
Allow native compilation when calling Dialyzer from Erlang
Diffstat (limited to 'lib/dialyzer/doc/src')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 443de7b0dd..8dd814982d 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -537,7 +537,10 @@ Option :: {files, [Filename :: string()]} 'plt_check' | 'plt_remove'} | {warnings, [WarnOpts]} - | {get_warnings, bool()} + | {get_warnings, boolean()} + | {native, boolean()} + %% Defaults to false when invoked from Erlang + | {native_cache, boolean()} WarnOpts :: error_handling | no_behaviours |