Commit 57e2e0d5 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'fix-tests-macos' into 'master'

Fix TESTFILES generation on macOS

See merge request iris/iris!604
parents 872fe77b 8f2f9220
......@@ -8,7 +8,7 @@ MAKE_REF:=
real-all: $(if $(NO_TEST),,test)
# the test suite
TESTFILES:=$(shell find tests/ -name "*.v")
TESTFILES:=$(shell find tests -name "*.v")
test: $(TESTFILES:.v=.vo)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment