diff --git a/misc/build_helpers/show-tool-versions.py b/misc/build_helpers/show-tool-versions.py
index bec7e6989..68e2b7c30 100644
--- 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