[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "make dist" fails ... en@boldquote: warning: PO file headder missing
From: |
Mathieu Othacehe |
Subject: |
Re: "make dist" fails ... en@boldquote: warning: PO file headder missing or invalid |
Date: |
Mon, 10 Jan 2022 16:22:10 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hello,
>> > I've also in the past implored to set up a ci job for "make dist" to
>> > make it at least easier to figure out which commits trigger these
>> > issues... how can I help move that forward? :)
>
> Mathieu, what does Cuirass need to make that happens?
That would require to have a derivation running an equivalent of the
"make dist" command, in the same spirit as the "tarball-jobs" procedure
of the (gnu ci) module I guess.
Thanks,
Mathieu