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

このメッセージを削除

このメッセージに返信
著者: anonym
日付:  
To: The Tails public development discussion list
題目: 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!