From f4035ea8d53c1642eb6985733457ac5051e64c5b Mon Sep 17 00:00:00 2001 From: "Bjoern B. Brandenburg" Date: Thu, 14 May 2009 16:10:00 -0400 Subject: fix filename --- plot_ohead.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'plot_ohead.py') diff --git a/plot_ohead.py b/plot_ohead.py index 430707e..9d4913c 100755 --- a/plot_ohead.py +++ b/plot_ohead.py @@ -72,7 +72,7 @@ class OheadPlotter(defapp.App): def plot(self, graphs, title, name, **xtra): if self.options.paper: - tops = 'color solid font "Helvetica,10" linewidth 1.0 rounded size 16cm,8.5cm' + tops = 'color solid font "Helvetica,12" linewidth 1.0 rounded size 16cm,8.5cm' gnuplot(graphs, title=title, xlabel=self.options.xlabel, ylabel=self.options.ylabel, @@ -106,7 +106,7 @@ class OheadPlotter(defapp.App): if (p != 'GHQ-EDF' or m == 'NO_CPU') and \ (p != 'GQ-EDF' or e != 'SEND_RESCHED'): gs += [graph(p, m, e, wc)] - fname = '%s.%s' % (e, d) + fname = '%s_%s' % (e, d) title = '%s %s' % ('worst-case' if wc else 'average-case' , ev_name[e]) self.plot(gs, title=title, name=fname) -- cgit v1.2.2