From 1921d22b35cb241eff5aa923325c53efbedf1dc2 Mon Sep 17 00:00:00 2001 From: Jeff Epler Date: Sun, 21 Sep 2025 09:51:01 -0500 Subject: [PATCH] docs/develop/gettingstarted: Document the additional unix test targets. The docs in the port README are nice but don't appear at docs.micropython.org. Signed-off-by: Jeff Epler --- docs/develop/gettingstarted.rst | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/docs/develop/gettingstarted.rst b/docs/develop/gettingstarted.rst index 4cc818fda1..039be881e0 100644 --- a/docs/develop/gettingstarted.rst +++ b/docs/develop/gettingstarted.rst @@ -282,6 +282,19 @@ To run a selection of tests on a board/device connected over USB use: See also :ref:`writingtests`. +Additional make targets for developers +-------------------------------------- + +In ``ports/unix`` there are additional targets related to running tests: + +.. code-block:: bash + + $ make test//int # Run all tests matching the pattern "int" + $ make test/ports/unix # Run all tests in ports/unix + $ make test-failures # Re-run only the failed tests + $ make print-failures # print the differences for failed tests + $ make clean-failures # delete the .exp and .out files from failed tests + Using ci.sh locally -------------------