Pádraig Brady wrote:
> `make distcheck` passes here with the following, which I've just pushed.
I confirm that the CI now passes again.
Bruno
On 05/07/2025 15:54, Bruno Haible wrote:
Pádraig Brady wrote:
I pushed the following which passes both types of builds here.
Marking this as done.
cheers,
Padraig
diff --git a/src/local.mk b/src/local.mk
index 537032578..fb763c4db 100644
--- a/src/local.mk
+++ b/src/local.mk
@@ -708,7 +708,7 @
Pádraig Brady wrote:
> I pushed the following which passes both types of builds here.
> Marking this as done.
>
> cheers,
> Padraig
>
> diff --git a/src/local.mk b/src/local.mk
> index 537032578..fb763c4db 100644
> --- a/src/local.mk
> +++ b/src/local.mk
> @@ -708,7 +708,7 @@ src/version.h: Makef
On 05/07/2025 10:59, Bruno Haible via GNU coreutils Bug Reports wrote:
Hi,
The coreutils CI build part that does a "make distcheck" today fails,
whereas on 2025-06-30 it succeeded [1].
The problem can be reproduced as follows:
1)
$ ./bootstrap --no-git --gnulib-srcdir=$GNULIB_SRCDIR
$ ./config
Hi,
The coreutils CI build part that does a "make distcheck" today fails,
whereas on 2025-06-30 it succeeded [1].
The problem can be reproduced as follows:
1)
$ ./bootstrap --no-git --gnulib-srcdir=$GNULIB_SRCDIR
$ ./configure
$ make
$ make dist
2)
Unpack the tarball, cd into its directory.
3)
