Fabian Boehm f4797a0133 benchmarks: Use --no-config ...

It's existed since 3.3.0, so now seems to be an acceptable time to add
it.

(also adjust some repetitions a bit so they don't take too long)

2022-09-24 13:36:24 +02:00

..

benchmarks

benchmarks: Use --no-config

2022-09-24 13:36:24 +02:00

driver.sh

benchmarks: Use --no-config

2022-09-24 13:36:24 +02:00