bug#61186: build failure when building from git source in a subdirectory

2023-01-30 Thread Bruno Haible
Hi, When building gzip from the git repository in a subdirectory (VPATH build), I get a build failure. How to reproduce: $ unset GNULIB_SRCDIR $ git clone https://git.savannah.gnu.org/git/gzip.git $ cd gzip $ ./bootstrap $ mkdir vpath $ cd vpath $ ../configure $ make $ make check ... make[3]: En

bug#61187: continuous integration

2023-01-30 Thread Bruno Haible
Hi Jim, For gzip, I've now set up a continuous integration: https://gitlab.com/gnu-gzip/ci-distcheck If you want to co-maintain it with me, let me know your GitLab login name, so that I can assign you the permissions. While setting up this CI, I noticed two problems: 1) bootstrap.conf specifies

bug#61186: build failure when building from git source in a subdirectory

2023-01-30 Thread Paul Eggert
Thanks, I installed that.

bug#61187: continuous integration

2023-01-30 Thread Paul Eggert
On 1/30/23 13:46, Bruno Haible wrote: 1) bootstrap.conf specifies that 'rsync' is needed. But rsync is not needed any more by 'gnulib-tool' and by 'bootstrap' since 2018-10-07. Thanks, I in