diff options
| author | Rickard Green <[email protected]> | 2017-11-28 14:17:24 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-12-19 12:02:39 +0100 |
| commit | 7f6ac587f47bd115604c7c9d1504e66cafffd265 (patch) | |
| tree | 9259844622bbff3db2d32e01ab782359ab5e2404 /lib/tools/Makefile | |
| parent | d4341cd249d728174fce580bd018e1e8b402d161 (diff) | |
| download | otp-7f6ac587f47bd115604c7c9d1504e66cafffd265.tar.gz otp-7f6ac587f47bd115604c7c9d1504e66cafffd265.tar.bz2 otp-7f6ac587f47bd115604c7c9d1504e66cafffd265.zip | |
Redirect system_flag(scheduler_wall_time,_) to kernel_refc
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions