chiark / gitweb /
makebuildserver: buildserverid should always be a string
authorHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 16:33:06 +0000 (17:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 14 Mar 2016 16:35:44 +0000 (17:35 +0100)
makebuildserver

index 48e0f197ec100d8adc2cd81cc74e2ae90b0443b0..537e6e7da9fda3f6f1a617ff8124a646a0120316 100755 (executable)
@@ -456,7 +456,8 @@ if returncode != 0:
     sys.exit(1)
 
 print("Writing buildserver ID")
-p = subprocess.Popen(['git', 'rev-parse', 'HEAD'], stdout=subprocess.PIPE)
+p = subprocess.Popen(['git', 'rev-parse', 'HEAD'], stdout=subprocess.PIPE,
+                     universal_newlines=True)
 buildserverid = p.communicate()[0].strip()
 print("...ID is " + buildserverid)
 subprocess.call(