Ping^2. This patch <https://sourceware.org/ml/libc-alpha/2014-11/msg00859.html> is still pending review. (Carlos said it fixed the problem he saw, but that's not a review. The main question for review is the correct approach for handling semaphore.h.) -- Joseph S. Myers joseph@codesourcery.com