setup: add platform.machine() to show-tool-versions, because FreeStorm WinXP builder...

diff --git a/misc/build_helpers/show-tool-versions.py b/misc/build_helpers/show-tool-versions.py
index ed23f8dbd7f87a14cc9c497a58fa698001d74a94..f7434e47256c6e5cdcdf9cc21522a986d5b03265 100644 (file)
--- a/misc/build_helpers/show-tool-versions.py
+++ b/misc/build_helpers/show-tool-versions.py
@@ -11,6 +11,7 @@ def print_platform():
         import platform
         out = platform.platform()
         print "platform:", foldlines(out)
+        print "machine: ", platform.machine()
         if hasattr(platform, 'linux_distribution'):
             print "linux_distribution:", repr(platform.linux_distribution())
     except EnvironmentError: