aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_options.erl
diff options
context:
space:
mode:
authorHenrik Nord <[email protected]>2012-05-31 15:57:44 +0200
committerHenrik Nord <[email protected]>2012-05-31 15:57:51 +0200
commit3e348c69b6921dd0e2c5b699ccd36d46321c953c (patch)
tree411b2ac33b8a2d84b39d1f4b9341c38de06cfff4 /lib/dialyzer/src/dialyzer_options.erl
parentcdd1bc668112289cb2ee573c067ba106ca707b91 (diff)
parent49c657461866f0fe87de2ee7578b46b1b926db10 (diff)
downloadotp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.tar.gz
otp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.tar.bz2
otp-3e348c69b6921dd0e2c5b699ccd36d46321c953c.zip
Merge branch 'sa/dialyzer-parallel' into maint
* sa/dialyzer-parallel: (54 commits) Logfile-like statistics (enabled with --resources) Anonymous SCCtoPID ETS table Anonymous time server Regulate all kinds of running workers up to the number of schedulers Relocate start and stop of timing server Better names for callgaph ETS tables Remove needless conversion Fix types and specs Inline a function in dialyzer_worker Remove unused function Change --time to --statistics and include more info Better reflect side-effect based code in dialyzer_callgraph Code simplifications (tidier) More efficient calculation of module deps and postorder Solve big SCC constraints in parallel Coordinator is no longer a separate process All spawns are now spawn_links Fix race in coordinator Typesig and dataflow analyses no longer use ticket regulation Plain concatenation for typesig not-fixpoint list ... OTP-10103
Diffstat (limited to 'lib/dialyzer/src/dialyzer_options.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_options.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_options.erl b/lib/dialyzer/src/dialyzer_options.erl
index 866650a0b2..a1e316d6cc 100644
--- a/lib/dialyzer/src/dialyzer_options.erl
+++ b/lib/dialyzer/src/dialyzer_options.erl
@@ -194,6 +194,8 @@ build_options([{OptionName, Value} = Term|Rest], Options) ->
callgraph_file ->
assert_filename(Value),
build_options(Rest, Options#options{callgraph_file = Value});
+ timing ->
+ build_options(Rest, Options#options{timing = Value});
_ ->
bad_option("Unknown dialyzer command line option", Term)
end;