checkstyle: run doctest tests

pb8o · pb8o · commit dfb45dc4213b · 2025-01-21T10:17:46.000+01:00
Run doctests tests as part of the style step

Signed-off-by: Pablo Barbáchano &lt;pablob@amazon.com&gt;
diff --git a/tools/devtool b/tools/devtool
@@ -934,7 +934,8 @@ cmd_mkdocs() {
 }
 
 cmd_checkstyle() {
-    cmd_test --no-build --no-kvm-check -- integration_tests/style -n 4 --dist worksteal
+    cmd_test --no-build --no-kvm-check -- -n 4 --dist worksteal integration_tests/style
+    cmd_test --no-build --no-kvm-check -- -n 4 --doctest-modules framework
 }
 
 # Check if able to run firecracker.

Original file line number	Diff line number	Diff line change
`@@ -934,7 +934,8 @@ cmd_mkdocs() {`
`934`	`934`	`}`
`935`	`935`
`936`	`936`	`cmd_checkstyle() {`
`937`		`- cmd_test --no-build --no-kvm-check -- integration_tests/style -n 4 --dist worksteal`
	`937`	`+ cmd_test --no-build --no-kvm-check -- -n 4 --dist worksteal integration_tests/style`
	`938`	`+ cmd_test --no-build --no-kvm-check -- -n 4 --doctest-modules framework`
`938`	`939`	`}`
`939`	`940`
`940`	`941`	`# Check if able to run firecracker.`