Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
Makefile.coq.local
Find file
Blame
History
Permalink
Fix TESTFILES generation on macOS
· 8f2f9220
Tej Chajed
authored
Dec 11, 2020
BSD's find adds an extra / when invoked on tests/, and this confuses the test dependency management.
8f2f9220