chiark / gitweb /
Write buildserver ID to buildserver on creation
authorCiaran Gultnieks <ciaran@ciarang.com>
Sat, 9 Nov 2013 11:51:39 +0000 (11:51 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sat, 9 Nov 2013 11:51:39 +0000 (11:51 +0000)
commitaa98a8d64adb0379b5845fde6e7b886679226b0d
tree628be5cb098912382da2d9bd7d41f3a42e115061
parenta7c077634b2e77e2ed546c431cb428f0a06f9151
Write buildserver ID to buildserver on creation

The ID of the buildserver is just the corresponding commit hash in
fdroidserver at the point where it was built, which should be enough to
uniquely identify a version of it.

The idea is that this will ultimately end up as metadata in an apk, such
that its precise lineage can be traced, and the exact same binary can be
reproduced.
makebuildserver.py