On Wed, Jan 29, 2020 at 11:54 AM Thomas Munro <thomas.mu...@gmail.com> wrote: > If there are no further objections, I'm planning to commit this sooner > rather than later, so that it gets plenty of air time on developer and > build farm machines. If problems are discovered on a particular > platform, there's a pretty good escape hatch: you can define > WAIT_USE_POLL, and if it turns out to be necessary, we could always do > something in src/template similar to what we do for semaphores.
I updated the error messages to match the new "unified" style, adjust a couple of comments, and pushed. Thanks to all the people who tested. I'll keep an eye on the build farm.
