/rev/225b81fa2d1d
changeset: 1285:225b81fa2d1d
user: Janus Dam Nielsen <[email protected]>
date: Fri Oct 16 15:59:06 2009 +0200
summary: Better description of the --mixins option.
diffstat:
apps/benchmark.py | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diffs (12 lines):
diff -r eaf317ca1b80 -r 225b81fa2d1d apps/benchmark.py
--- a/apps/benchmark.py Fri Oct 16 15:59:05 2009 +0200
+++ b/apps/benchmark.py Fri Oct 16 15:59:06 2009 +0200
@@ -110,7 +110,7 @@
parser.add_option("-n", "--num_players", action="store_true",
dest="num_players",
help="number of players")
parser.add_option("--mixins", type="string",
- help="operation to benchmark")
+ help="Additional mixins which must be added to the runtime")
parser.add_option("--prss", action="store_true",
help="use PRSS for preprocessing")
parser.add_option("--hyper", action="store_false", dest="prss",
_______________________________________________
viff-commits mailing list
[email protected]
http://lists.viff.dk/listinfo.cgi/viff-commits-viff.dk
