diff options
| author | Stavros Aronis <[email protected]> | 2012-03-29 14:44:08 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:23 +0200 |
| commit | 5c52ff6b5f10c7bd9ce06cdf607e88035c16e079 (patch) | |
| tree | 26c35deaaae3d2d2ed425f0580d0b6d6f5d258f2 /lib/dialyzer/src/dialyzer.hrl | |
| parent | 720b65deff021ddb17aaa125046f97ff13ade883 (diff) | |
| download | otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.tar.gz otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.tar.bz2 otp-5c52ff6b5f10c7bd9ce06cdf607e88035c16e079.zip | |
Anonymous time server
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer.hrl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer.hrl b/lib/dialyzer/src/dialyzer.hrl index ebfc6b9731..70ee408f12 100644 --- a/lib/dialyzer/src/dialyzer.hrl +++ b/lib/dialyzer/src/dialyzer.hrl @@ -128,6 +128,7 @@ race_detection = false :: boolean(), behaviours_chk = false :: boolean(), timing = false :: boolean(), + timing_server :: dialyzer_timing:timing_server(), callgraph_file = "" :: file:filename()}). -record(options, {files = [] :: [file:filename()], @@ -156,11 +157,11 @@ %%-------------------------------------------------------------------- --define(timing(Msg,Var,Expr), +-define(timing(Server, Msg, Var, Expr), begin - dialyzer_timing:start_stamp(Msg), + dialyzer_timing:start_stamp(Server, Msg), Var = Expr, - dialyzer_timing:end_stamp(), + dialyzer_timing:end_stamp(Server), Var end). --define(timing(Msg,Expr),?timing(Msg,_T,Expr)). +-define(timing(Server, Msg, Expr),?timing(Server, Msg, _T, Expr)). |