mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-04 18:12:11 +08:00

We assume that you use something like hyperfine to run warmups, like our driver script does. This allows the script to be run e.g. in valgrind without being too much of a pain in the gluteus.