Yes, this patch also fix the problem. It looks like your guess about the source of the problem is correct. I probably should find a way how to report it to Apple...
p.s. attached is a p1 version > On 23 Sep 2016, at 22:26, Paul Eggert <egg...@cs.ucla.edu> wrote: > > On 09/23/2016 01:16 PM, Denis Davydov wrote: >> Would you please send the patch which applies to 1.4.17 > > Something like the attached, perhaps? > > > <configure.patch>
sched_macos2.patch
Description: Binary data
