debian_build.py: Print distribution and version for Jenkins 'set build description...

diff --git a/debian_build.py b/debian_build.py
index d21a1ecfbf576ce81bc96a98615978cc4a4843a4..1e11e51e7a70e10cc269bc5b094343f611c7c898 100755 (executable)
--- a/debian_build.py
+++ b/debian_build.py
@@ -624,6 +624,7 @@ if __name__ == '__main__':
             break
     for line in changelog.rstrip().split('\n'):
         logger.info('    ' + line)
+    logger.info('Distribution is ' + cl.distributions + ' and version is ' + cl.version)
 
     #
     # ACT IV: preparations are done, let's build the source