Skip to content

Makefile: Replace "which" by POSIX "command -v" #765

Makefile: Replace "which" by POSIX "command -v"

Makefile: Replace "which" by POSIX "command -v" #765

Annotations

1 warning

test (coq-8.18.0-emacs-29.4)

succeeded Feb 25, 2025 in 1m 33s