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

compile-tests (coq-8.15.2-emacs-28.1)

succeeded Feb 25, 2025 in 4m 59s