diff options
| author | Jeff Epler <jepler@unpythonic.net> | 2025-09-21 09:51:01 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-09-26 14:38:08 +1000 |
| commit | 1921d22b35cb241eff5aa923325c53efbedf1dc2 (patch) | |
| tree | 56d24ffb91e60bc515411834eced6ec9357b5e67 /docs/develop/gettingstarted.rst | |
| parent | 7e5c55dc2f36022100fda3dc09063c4704251a12 (diff) | |
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 <jepler@unpythonic.net>
Diffstat (limited to 'docs/develop/gettingstarted.rst')
| -rw-r--r-- | docs/develop/gettingstarted.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/develop/gettingstarted.rst b/docs/develop/gettingstarted.rst index 4cc818fda..039be881e 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 ------------------- |