diff options
author | Nicholas Chin <nic.c3.14@gmail.com> | 2024-07-08 19:14:31 -0600 |
---|---|---|
committer | Elyes Haouas <ehaouas@noos.fr> | 2024-07-09 21:10:25 +0000 |
commit | 98f896110681c8d5f0aad88464c056bcb5b9d046 (patch) | |
tree | e9932a77bdcae285c4fd5c13939fc5dcad831314 /src/arch/arm64/div0.c | |
parent | 46630de4b7a653dbcfd1d10037c73993b258992c (diff) |
Documentation/Makefile: Fix test target
The test target called make with the `-K` flag, which is not valid.
Change it to `-k` (keep going if some targets fail) which is what was
probably intended.
It also tried to build the `doctest` target from Makefile.sphinx, which
results in an error. Further investigation reveals that this is because
the sphinx doctest extension was not enabled in conf.py. However, from
the documentation of doctest [1], it seems like it is intended to ensure
that documentation containing Python snippets along with the expected
output of the snippet remain in sync, which is something that we
probably don't need. So, remove the call to it.
[1] https://www.sphinx-doc.org/en/master/usage/extensions/doctest.html"
Change-Id: Id514950b4486ed8644d078af222c96ed711fc8f9
Signed-off-by: Nicholas Chin <nic.c3.14@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/83381
Reviewed-by: Nico Huber <nico.h@gmx.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Diffstat (limited to 'src/arch/arm64/div0.c')
0 files changed, 0 insertions, 0 deletions