Fix cargo miri test

YoeDistro · Jul 2, 2024 · 506c4ff · 506c4ff
1 parent 9d1f488
commit 506c4ff
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -526,7 +526,8 @@ ci-job-miri:
 	@#cd libraries/tock-register-interface && NOWARNINGS=true cargo miri test
 	@cd kernel && NOWARNINGS=true cargo miri test
 	@for a in $$(tools/list_archs.sh); do cd arch/$$a && NOWARNINGS=true cargo miri test && cd ../..; done
-	@cd capsules && NOWARNINGS=true cargo miri test
+	@cd capsules/core && NOWARNINGS=true cargo miri test
+	@cd capsules/extra && NOWARNINGS=true cargo miri test
 	@for c in $$(tools/list_chips.sh); do cd chips/$$c && NOWARNINGS=true cargo miri test && cd ../..; done