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.

diff --git a/makebuildserver.py b/makebuildserver.py
index fa37bca525af94ad5d1be9c6e97de84ba00776c7..d93fd8f0e3bdef122763d350e608c99155ae9bd6 100755 (executable)
--- a/makebuildserver.py
+++ b/makebuildserver.py
@@ -163,6 +163,16 @@ with open(os.path.join(serverdir, 'up.log'), 'w') as log:
 if returncode != 0:
     print "Failed to configure server"
     sys.exit(1)
+
+print "Writing buildserver ID"
+p = subprocess.Popen(['git', 'rev-parse', 'HEAD'], stdout=subprocess.PIPE)
+buildserverid = p.communicate()[0].strip()
+print "...ID is " + buildserverid
+subprocess.call(
+    ['vagrant', 'ssh', '-c', 'sh -c "echo {0} >/home/vagrant/buildserverid"'
+    .format(buildserverid)],
+    cwd=serverdir)
+
 print "Stopping build server VM"
 vagrant(['halt'], serverdir)