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

Delete this message

Reply to this message
Author: intrigeri
Date:  
To: tails-dev
Subject: [Tails-dev] [review'n'merge:1.3] bugfix/8699-only-create-timestamps-in-Jenkins
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.

This means that we can't trivially generate .{src,bin}pkgs files
outside of Jenkins anymore. If someone is lacking this feature some
day, tell me and I'll revisit.

Candidate for 1.3.

Cheers,
--
intrigeri