show-tool-versions.py: show platform.linux_distribution()

diff --git a/misc/build_helpers/show-tool-versions.py b/misc/build_helpers/show-tool-versions.py
index bec7e6989081c73fc1250536ff439cdc1c9c72f4..68e2b7c3075fcae9a89a37ae884048f45ce34af9 100644 (file)
--- a/misc/build_helpers/show-tool-versions.py
+++ b/misc/build_helpers/show-tool-versions.py
@@ -8,6 +8,7 @@ def print_platform():
         out = platform.platform()
         print
         print "platform:", out.replace("\n", " ")
+        print ', linux_distribution:', repr(platform.linux_distribution())
     except EnvironmentError, le:
          sys.stderr.write("Got exception using 'platform': %s\n" % (le,))
          pass