aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/user_SUITE_data
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-03-04 13:41:09 +0100
committerHans Bolinder <[email protected]>2014-03-20 16:05:23 +0100
commitad8bf9b974ed80bf4efcb4c2be606b482c6293a1 (patch)
treebabfc401b8204313192cc751140bc932a987f405 /lib/dialyzer/test/user_SUITE_data
parent3d70fc00a0e2165cb45022086fec5552a355ef50 (diff)
downloadotp-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_options2
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