--- a/benchmark.py	Fri Dec 11 17:44:17 2009 +0100
+++ b/benchmark.py	Thu Dec 17 10:52:56 2009 +0100
@@ -12,7 +12,7 @@
         self.avg_time = 0
         self.std_dev = 0
 
-def bench (args, max_std_dev, min_runs, max_runs):
+def bench (args, max_std_dev, min_runs, max_runs, print_individual):
     min_time = 1000000.0
     max_time = 0.0
     n = 0
@@ -27,6 +27,8 @@
         prgm.communicate(input=None)
         end = time.time()
         duration = end - start
+        if print_individual:
+            print duration
         min_time = min(min_time,duration)
         max_time = max(max_time,duration)
         n += 1
@@ -57,8 +59,10 @@
                       ' conformance to the standard deviation requirement.")
     parser.add_option('--max-runs', type='int', dest='max_runs', default=100,
                       help="The maximum number of runs performed until we stop.")
+    parser.add_option('--print-individual', action='store_true', dest='print_individual', default=False,
+                      help="Output the timing information for each run on stdout, one line per run.")
     (options,args) = parser.parse_args()
-    result = bench(args, options.std_dev, options.min_runs, options.max_runs)
+    result = bench(args, options.std_dev, options.min_runs, options.max_runs, options.print_individual)
     print 'runs=' + str(result.runs) + ' min_time=' + str(result.min_time) + \
         ' max_time=' + str(result.max_time) + ' avg=' + str(result.avg_time) + \
         ' std_dev=' + str(result.std_dev)