diff options
Diffstat (limited to 'plot_ohead.py')
-rwxr-xr-x | plot_ohead.py | 4 |
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 | ||