aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xplot_ohead.py4
1 files changed, 2 insertions, 2 deletions
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):
72 72
73 def plot(self, graphs, title, name, **xtra): 73 def plot(self, graphs, title, name, **xtra):
74 if self.options.paper: 74 if self.options.paper:
75 tops = 'color solid font "Helvetica,10" linewidth 1.0 rounded size 16cm,8.5cm' 75 tops = 'color solid font "Helvetica,12" linewidth 1.0 rounded size 16cm,8.5cm'
76 gnuplot(graphs, title=title, 76 gnuplot(graphs, title=title,
77 xlabel=self.options.xlabel, 77 xlabel=self.options.xlabel,
78 ylabel=self.options.ylabel, 78 ylabel=self.options.ylabel,
@@ -106,7 +106,7 @@ class OheadPlotter(defapp.App):
106 if (p != 'GHQ-EDF' or m == 'NO_CPU') and \ 106 if (p != 'GHQ-EDF' or m == 'NO_CPU') and \
107 (p != 'GQ-EDF' or e != 'SEND_RESCHED'): 107 (p != 'GQ-EDF' or e != 'SEND_RESCHED'):
108 gs += [graph(p, m, e, wc)] 108 gs += [graph(p, m, e, wc)]
109 fname = '%s.%s' % (e, d) 109 fname = '%s_%s' % (e, d)
110 title = '%s %s' % ('worst-case' if wc else 'average-case' , ev_name[e]) 110 title = '%s %s' % ('worst-case' if wc else 'average-case' , ev_name[e])
111 self.plot(gs, title=title, name=fname) 111 self.plot(gs, title=title, name=fname)
112 112