@@ -180,7 +180,9 @@ bench_exec_one() {
180 local BENCH_NAME
180 local BENCH_NAME
181 # XXX this is a hack to make the "/" separated names used in the functions
181 # XXX this is a hack to make the "/" separated names used in the functions
182 # determining options based on benchmark name. For tasty-bench the benchmark
182 # determining options based on benchmark name. For tasty-bench the benchmark
183− # names are separated by "." instead of "/".
183+ # names are separated by "." instead of "/" and are prefixed by "All".
185+ # For example, All.Prelude.Serial/x.y.z => Prelude.Serial/x/y/z
184 if test "$USE_GAUGE" -eq 0
186 if test "$USE_GAUGE" -eq 0
186 # Remove the prefix "All."
188 # Remove the prefix "All."