Johannes Altmanninger db7bea1a3e benchmarks/driver.sh: quote path to fish if necessary ...

To allow paths with spaces, give a shell-quoted path to hyperfine. We
could make this a bit shorter by quoting as early as possible, like

	FISH_PATH=$(quote "$1")

and then use $FISH_PATH unquoted. I discarded that idea because it
probably looks surprising.

Closes #8559

2021-12-19 11:51:45 +01:00

..

benchmarks

Run fish_indent on all non-test .fish files

2021-11-23 09:49:45 +01:00

driver.sh

benchmarks/driver.sh: quote path to fish if necessary

2021-12-19 11:51:45 +01:00