diff options
| author | Hans Bolinder <[email protected]> | 2014-03-04 13:41:09 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-20 16:05:23 +0100 |
| commit | ad8bf9b974ed80bf4efcb4c2be606b482c6293a1 (patch) | |
| tree | babfc401b8204313192cc751140bc932a987f405 /lib/dialyzer/test/user_SUITE_data | |
| parent | 3d70fc00a0e2165cb45022086fec5552a355ef50 (diff) | |
| download | otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.gz otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.tar.bz2 otp-ad8bf9b974ed80bf4efcb4c2be606b482c6293a1.zip | |
Introduce a new warning option, 'no_unknown'
Not (yet) documented.
Diffstat (limited to 'lib/dialyzer/test/user_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/user_SUITE_data/dialyzer_options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/user_SUITE_data/dialyzer_options b/lib/dialyzer/test/user_SUITE_data/dialyzer_options index 513ed7752b..d20ecd389f 100644 --- a/lib/dialyzer/test/user_SUITE_data/dialyzer_options +++ b/lib/dialyzer/test/user_SUITE_data/dialyzer_options @@ -1,2 +1,2 @@ -{dialyzer_options, []}. +{dialyzer_options, [{warnings, [no_unknown]}]}. {time_limit, 3}.
\ No newline at end of file |