Tweak bench script output format a bit more

diff --git a/bench b/bench
index a90755510f71064ff27b81c3782d67fbb4e2aa67..c701c74129c090850086fa2a71c737ed619d04d8 100755 (executable)
--- a/bench
+++ b/bench
@@ -174,7 +174,7 @@ _full_platform_details()
     os=`uname -s`
     host=`hostname -s`
     kernel=`uname -r`
-    platform=`uname -i`
+    platform=`uname -m`
     echo "$os/$platform $host $kernel"
 }