Fix Makefile imprecision

This commit is contained in:
Denis Merigoux 2021-11-06 21:57:25 +01:00
parent aee7565e15
commit d56c31f5b4
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3

View File

@ -64,7 +64,7 @@ suite executed using
You can isolate a part of the regression suite by invoking:
TEST_FILES=examples/tests/foo/foo_tests.catala_en make -C examples tests
TEST_FILES=foo/tests/foo_tests.catala_en make -C examples tests
## Adding an example