Re: [Tails-dev] [review'n'merge:1.3] bugfix/8699-only-create…

Supprimer ce message

Répondre à ce message
Auteur: anonym
Date:  
À: The Tails public development discussion list
Sujet: Re: [Tails-dev] [review'n'merge:1.3] bugfix/8699-only-create-timestamps-in-Jenkins
On 19/01/15 14:16, intrigeri wrote:
> Hi,
>
> since the .{src,bin}pkgs stuff was merged, our build system is leaving
> .{start,end}.timestamp files around, which are useless in most cases.
> anonym has complained about it, so here's a branch that only generates
> these files when building from Jenkins.


Thanks, this is now merged!

Cheers!