1 files changed, 14 insertions, 0 deletions

diff --git a/plot.py b/plot.py
index 3bd669d..10b2e57 100755
--- a/plot.py
+++ b/plot.py
@@ -27,6 +27,7 @@ options = [
     o(None, '--split', action='store_true', dest='split'),
     o(None, '--alternate', action='store_true', dest='alternate'),
     o(None, '--slides', action='store_true', dest='slides'),
+    o(None, '--appendix', action='store_true', dest='appendix'),
     ]
 
 defaults = {
@@ -44,6 +45,7 @@ defaults = {
     'column' : False,
     'slides' : False,
     'smooth' : False,
+    'appendix' : False,
 
     # legacy "options" that are not actually options.
     'xrange' : (0.5, 32.5),
@@ -634,6 +636,18 @@ class SchedPlotter(defapp.App):
                 p.default_style = 'lines lw 10'
                 p.key = 'below'
                 p.xlabel = "task set utilization cap (prior to overhead accounting)"
+            elif self.options.appendix:
+                # for the appendix
+                p.font_size = '8'
+                if 'wsched' in conf:
+                    p.size = ('17cm', '6cm')
+                    p.key = 'off'
+                else:
+                    p.size = ('17cm', '9cm')
+                    p.key  = 'below'
+                p.monochrome   = False
+                p.dashed_lines = False
+                p.default_style = 'linespoints lw 1'
             else:
                 p.font_size = '10'
                 p.size = ('20cm', '10cm')