From 60e682897f98d9374b96c6324759f302170b2a17 Mon Sep 17 00:00:00 2001
From: Stavros Aronis <aronisstav@gmail.com>
Date: Mon, 20 Feb 2012 13:56:25 +0100
Subject: Add --time option to Dialyzer

---
 lib/dialyzer/src/dialyzer_options.erl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/dialyzer/src/dialyzer_options.erl')

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;
-- 
cgit v1.2.3