diff options
| author | Dan Gudmundsson <[email protected]> | 2017-12-19 12:05:30 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-12-19 12:05:30 +0100 |
| commit | 03c3bde623fdcb6e9ef4d390cc50fc812cb156d9 (patch) | |
| tree | b443283e28788421bf079702102eb60ebf7d51b6 /configure.in | |
| parent | 135317d5587af9e8479bfcc6e767913fc4f7a6de (diff) | |
| parent | 7067db6e361e8f2feadd76dd6df66e5c6c4f8a0e (diff) | |
| download | otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.tar.gz otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.tar.bz2 otp-03c3bde623fdcb6e9ef4d390cc50fc812cb156d9.zip | |
Merge branch 'dgud/kernel/refc_sched_wall_time/OTP-11694'
* dgud/kernel/refc_sched_wall_time/OTP-11694:
test: spawn scheduler_wall_time flag holder
Turn on scheduler_wall_time in an alive process
Redirect system_flag(scheduler_wall_time,_) to kernel_refc
kernel: add a resource reference counter
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions