mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-06-27 12:11:15 -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)