Report the vercode as well as the version name when building

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 98f698a86e09b83337e0372b5ba58f23ae54bfb3..ee14fa651a3f3f0125ca1e40268374e0ff02c70e 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -892,7 +892,8 @@ def trybuild(app, thisbuild, build_dir, output_dir, also_check_dir, srclib_dir,
     if thisbuild['disable']:
         return False
 
-    logging.info("Building version " + thisbuild['version'] + ' of ' + app['id'])
+    logging.info("Building version %s (%s) of %s" % (
+        thisbuild['version'], thisbuild['vercode'], app['id']))
 
     if server:
         # When using server mode, still keep a local cache of the repo, by