mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-06-16 18:31:14 -03:00
Also use a different name than for the CMake variable, to reduce
confusion.
(cherry picked from commit a0b22077a5)
Also use a different name than for the CMake variable, to reduce
confusion.
(cherry picked from commit a0b22077a5)