$NetBSD: patch-bl,v 1.2 2015/12/29 23:34:52 dholland Exp $

Fix the output formatting (for faster machines, I take it)

--- vsuite/timings/report.sh.orig	2000-10-31 23:54:09.000000000 +0100
+++ vsuite/timings/report.sh
@@ -13,7 +13,7 @@ cat build.out || exit 1
 echo 
 echo "Results are given in microseconds" 
 echo 
-echo "     times    mean  median  test" 
+echo "     times     mean   median  test" 
 
 cat List | while read DIR SCALE DESCR
 do
@@ -28,7 +28,7 @@ do
 	END	{ mid = int ((NR + 1) / 2);
 		  median = t[mid] * 1000 / n[mid];
 		  mean = nmsec * 1000 / ntimes;	
-		  printf ("%10d %7.2f %7.2f  %s\n", \
+		  printf ("%10d %8.3f %8.3f  %s\n", \
 		    ntimes, mean, median, "'"$DESCR"'");
 		}
 	'