Skip to content

Commit

Permalink
Merge pull request #724 from relokin/test-all
Browse files Browse the repository at this point in the history
[Makefile] Add a test-all target

The Makefile used to offer an option to run all tests. As we added
more tests, the overhead for running all tests becomes
non-trivial. More notably, the vmsa-test and ets2-test targets include
more litmus tests than any other. In addition, the fact that make test
is invoked in the precommit hook makes it crucial that make test
terminates as quickly as possible. This commit adds another target
test-all which is inclusive of all tests.

Signed-off-by: Nikos Nikoleris <[email protected]>
  • Loading branch information
relokin authored Apr 10, 2024
2 parents fa63f78 + ee66d8f commit 12981e5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ check-deps::
# Tests.
TIMEOUT=16.0

test-all:: test
test:: | build

test:: dune-test
Expand Down Expand Up @@ -378,6 +379,7 @@ mte-test:
$(REGRESSION_TEST_MODE)
@ echo "herd7 catalogue aarch64-MTE tests: OK"

test-all:: vmsa-test
vmsa-test:
@ echo
$(HERD_CATALOGUE_REGRESSION_TEST) \
Expand All @@ -390,6 +392,7 @@ vmsa-test:
$(REGRESSION_TEST_MODE)
@ echo "herd7 catalogue aarch64-VMSA tests: OK"

test-all:: ets2-test
ets2-test:
@ echo
$(HERD_CATALOGUE_REGRESSION_TEST) \
Expand Down

0 comments on commit 12981e5

Please sign in to comment.