]> git.ipfire.org Git - thirdparty/man-pages.git/commit
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 698b2f3) | patch
sched_setscheduler.2: Mention SCHED_DEADLINE
authorMichael Kerrisk <mtk.manpages@gmail.com>
Sat, 10 Dec 2016 09:34:46 +0000 (10:34 +0100)
committerMichael Kerrisk <mtk.manpages@gmail.com>
Sat, 10 Dec 2016 14:18:29 +0000 (15:18 +0100)
commit16109ab35428bb74be188fed6a08e5de1b3721a9
tree67ecd799e3236ac9127de1c6737b5e113a8858aftree | snapshot
parent698b2f349f97dc93547f5181e71bbacdfec6edefcommit | diff
sched_setscheduler.2: Mention SCHED_DEADLINE

Give the reader a clue that there is another policy()
available that can't be set via sched_setscheduler(2).

See https://bugzilla.redhat.com/show_bug.cgi?id=1390546

Reported-by: Daniel Berrange <berrange@redhat.com>
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
man2/sched_setscheduler.2 diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.