Re: [Tails-dev] Tails build system update

Hi,

bertagaz:
> I forgot to merge the related branches in master when releasing this
> build system changes. I've fixed that since then,

Thanks!

Note we generally don't do code changes on the master branch (it's
simply not its purpose): what I requested was merely to have the *doc*
updated there.

> as branches based on master were failing to build in Jenkins.

FYI this is generally the case (I don't remember why) and not really
a problem in practice AFAICT (nobody complained about it recently).

> The doc should now be up-to-date.

:)

Cheers,
--
intrigeri