show-tool-versions.py: platform.linux_distribution() is not always available

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