tree 3e3c3175335b22c3e1189dc97be47ac396f9402c
parent e0afb16a317b71df0c538369a9fe223685d57b95
author Charles-François Natali <neologix@free.fr> 1315328615 +0200
committer Charles-François Natali <neologix@free.fr> 1315328615 +0200
HG:rename-source hg

Issue #12871: sched_get_priority_(min|max) might not be defined even though
<sched.h> is available (most notably on OpenBSD when built without pthread):
add an explicit configure check.