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/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/Makefile')
0 files changed, 0 insertions, 0 deletions