From 17709d00b220dbb28bb928c8350967251aedc528 Mon Sep 17 00:00:00 2001 From: bjs Date: Thu, 2 Jan 2025 19:44:18 +0000 Subject: [PATCH] (doc) update docs to say REQUIRES_PGTABLE --- doc/source/writing_tests.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/writing_tests.rst b/doc/source/writing_tests.rst index c37e6662..7d1e6d83 100644 --- a/doc/source/writing_tests.rst +++ b/doc/source/writing_tests.rst @@ -252,7 +252,7 @@ An example that uses all the above features is given below, with comments: /** this test requires the MMU to be enabled * and hence requires the --pgtable option to be passed */ - .requires_pgtable=1, + .requires=REQUIRES_PGTABLE, /** there are 14 other uninteresting results *