blob: e628617276c6ad28af3ab303d20d536760467b57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
$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"'");
}
'
|
