On 03/22/2017 11:12 AM, Zack Weinberg wrote: > getopt.h appears once to have been shared with gnulib. Does anyone > know if that's still a live concern for maintenance of that file? The current status unknown. Someone needs to investigate and update the wiki. https://sourceware.org/glibc/wiki/SharedSourceFiles -- Cheers, Carlos.