diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2023-10-10 11:51:34 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2023-10-10 11:51:34 -0400 |
| commit | 778659e5fc758515428db40c353f45b201264802 (patch) | |
| tree | 36157c8f6b4d33a6a024a201296da1662ccdd2e3 /bench/bench.sh | |
| parent | 04786f44089a3d650330255770ee9dc5d22e4c02 (diff) | |
| download | bfs-778659e5fc758515428db40c353f45b201264802.tar.xz | |
bench: Default to --strategies=rust
Diffstat (limited to 'bench/bench.sh')
| -rw-r--r-- | bench/bench.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/bench.sh b/bench/bench.sh index 7042319..be5a15b 100644 --- a/bench/bench.sh +++ b/bench/bench.sh @@ -18,7 +18,7 @@ declare -gA TAGS=( COMPLETE_DEFAULT=(linux rust chromium) EARLY_QUIT_DEFAULT=(chromium) PRINT_DEFAULT=(linux) -STRATEGIES_DEFAULT=(linux) +STRATEGIES_DEFAULT=(rust) JOBS_DEFAULT=(rust) usage() { |