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.16.1-emacs-28.2)

succeeded Feb 25, 2025 in 1m 33s