From d24bf7d3e5e7375655715fcdab9d6a2dbc940097 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Sat, 11 Dec 2010 18:21:08 +0100
Subject: [PATCH] Print test paremeters in smaller font

---
 gw-tests/lib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gw-tests/lib.sh b/gw-tests/lib.sh
index 1a490a1..7f0d9fd 100644
--- a/gw-tests/lib.sh
+++ b/gw-tests/lib.sh
@@ -47,7 +47,7 @@ cleanupgw() {
 _plot() {
     local testname=`basename $0 .sh`
 
-    plot_cmds | sed -e "/set title/ s/[\"']\(.*\)[\"']/\"\1\\\\n(GW kernel $kvers, Traffic $traffic, Load $load)\"/" > plot.gp
+    plot_cmds | sed -e "/set title/ s/[\"']\(.*\)[\"']/\"\1\\\\n{\/*0.75 (GW kernel $kvers, Traffic $traffic, Load $load)}\"/" > plot.gp
     if [[ ! -s plot.gp ]]; then return; fi
     if [ -z "$OPT_NO_X11" ]; then
 	echo "set terminal x11 enhanced; $(< plot.gp)" | gnuplot -persist
-- 
2.39.2