Closed dcastro closed 2 years ago
There are a few issues with the makefile:
test-all
all
test
coffer
--color
We've fixed the makefile so that we have no redundant targets, and make test runs all test suites successfully.
make test
Clarification and motivation
There are a few issues with the makefile:
test-all
andall
targets do the same thing astest
andcoffer
, so they're redundanttest
target does not include golden teststest
target calls the doctests executable with--color
, but doctests does not recognize this option.Acceptance criteria
We've fixed the makefile so that we have no redundant targets, and
make test
runs all test suites successfully.