Forked from
Iris / Iris
1981 commits behind the upstream repository.
-
Tej Chajed authored
BSD's find adds an extra / when invoked on tests/, and this confuses the test dependency management.
Tej Chajed authoredBSD's find adds an extra / when invoked on tests/, and this confuses the test dependency management.
Makefile.coq.local 1.83 KiB