mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-03-05 07:22:59 +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.