Hi,
We now have a separate git repository for gnulib maintainer tools.
I asked the savannah admins to create the repository and filled it
with the following tools:
* A database which platform has which header file. Example:
$ ./show-portability --doc error.h
macOS 11.1, FreeBSD 13.0, NetBSD 9.0, OpenBSD 6.7, Minix 3.3.0, AIX 7.1,
HP-UX 11.31, IRIX 6.5, Solaris 11.4, Cygwin 1.5.19, mingw, MSVC 14.
(That's the list of platforms which don't have the <error.h> header file.)
* A database which platform has which function. Example:
$ ./show-portability --doc error_at_line
macOS 11.1, FreeBSD 13.0, NetBSD 9.0, OpenBSD 6.7, Minix 3.3.0, AIX 7.1,
HP-UX 11.31, IRIX 6.5, Solaris 11.4, Cygwin 1.7.x, mingw, MSVC 14, Android 4.3.
(That's the list of platforms which don't have the error_at_line function.)
* A table of end-of-life dates for various OS releases.
To check it out:
git clone ssh://<username>@git.savannah.gnu.org/srv/git/gnulib/maint-tools.git
Anonymous checkout:
git clone git://git.savannah.gnu.org/gnulib/maint-tools.git
git clone https://git.savannah.gnu.org/git/gnulib/maint-tools.git
It is not directly useful to the *users* of Gnulib; everything that is
relevant to the users of Gnulib remains in gnulib's main git repository.
Bruno
