http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49944
--- Comment #3 from Ludovic Brenta <ludo...@ludovic-brenta.org> 2011-08-02
17:30:43 UTC ---
I would not be so assertive as Arno. It seems to me (but I may be wrong) that
s-taprop-linux.adb really only calls glibc and libpthread, not the kernel, and
therefore should be called s-taprop-glibc.adb. It looks like the
kernel-specific calls are all in s-osinte-{linux,freebsd,kfreebsd-gnu}.ads,
which have the proper names. GNU/kFreeBSD uses the GNU glibc instead of
FreeBSD's libc, so I think s-taprop-linux.adb is appropriate there.
