diff options
| author | Kostis Sagonas <[email protected]> | 2014-03-26 01:21:35 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-03-28 15:41:07 +0100 |
| commit | 673ea91e8bdf0572bda2e13eb5afb1cfc1578870 (patch) | |
| tree | b80bf42c03812f77cf84461045111dee1455f692 /lib/compiler/Makefile | |
| parent | 1ce93cb76672b523dbe2c9402f2d36ab431854ea (diff) | |
| download | otp-673ea91e8bdf0572bda2e13eb5afb1cfc1578870.tar.gz otp-673ea91e8bdf0572bda2e13eb5afb1cfc1578870.tar.bz2 otp-673ea91e8bdf0572bda2e13eb5afb1cfc1578870.zip | |
Report wall clock time instead of runtime when crashing
On SMPs, the time reports that Dialyzer produced when crashing were
inaccurate. Fix this by using wall_clock rather than runtime.
Diffstat (limited to 'lib/compiler/Makefile')
0 files changed, 0 insertions, 0 deletions