diff options
| author | Dan Gudmundsson <[email protected]> | 2014-02-13 13:30:29 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-02-13 13:30:29 +0100 |
| commit | 265998a7e412cd382315632964846569c370a5a2 (patch) | |
| tree | e1c5ad91b62170bf9345835e89d71905e0a5cc7e /lib/runtime_tools/Makefile | |
| parent | b28f32d3b793fa7dbaa97f015f84b402bcca2161 (diff) | |
| download | otp-265998a7e412cd382315632964846569c370a5a2.tar.gz otp-265998a7e412cd382315632964846569c370a5a2.tar.bz2 otp-265998a7e412cd382315632964846569c370a5a2.zip | |
runtime_tools: Do not turn off scheduler_wall_time
Until this is reference counted it may interfere with other applications.
The performance loss should (according to the implementor) be negligible with it
always on.
Diffstat (limited to 'lib/runtime_tools/Makefile')
0 files changed, 0 insertions, 0 deletions