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 /lib/kernel/src/Makefile | |
| 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 'lib/kernel/src/Makefile')
| -rw-r--r-- | lib/kernel/src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/kernel/src/Makefile b/lib/kernel/src/Makefile index 4a713b2a99..0bc9f121a0 100644 --- a/lib/kernel/src/Makefile +++ b/lib/kernel/src/Makefile @@ -106,6 +106,7 @@ MODULES = \ inet_sctp \ kernel \ kernel_config \ + kernel_refc \ local_udp \ local_tcp \ net \ |