commit bf0bcac890cc7b4c9e52c9e94817897ce73b69a8
author Philippe Mathieu-Daudé <philmd@linaro.org> Fri Mar 22 11:13:22 2024 +0100
committer Philippe Mathieu-Daudé <philmd@linaro.org> Fri May 03 17:21:20 2024 +0200
tree 4a5de53a03d844e75b5c356383f272c30dc2ec48
parent 4e111653168acc058044885c679015d50fcaf474

coverity: Update user emulation regexp

All user emulation headers are now under include/user/.

Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20240428221450.26460-3-philmd@linaro.org>

scripts/coverity-scan/COMPONENTS.md

diff --git a/scripts/coverity-scan/COMPONENTS.md b/scripts/coverity-scan/COMPONENTS.md
index 91be8d1..1537e49 100644
--- a/scripts/coverity-scan/COMPONENTS.md
+++ b/scripts/coverity-scan/COMPONENTS.md
@@ -121,7 +121,7 @@
   ~ (/qemu)?(/hw/usb/.*|/include/hw/usb/.*)
 
 user
-  ~ (/qemu)?(/linux-user/.*|/bsd-user/.*|/user-exec\.c|/thunk\.c|/include/exec/user/.*)
+  ~ (/qemu)?(/linux-user/.*|/bsd-user/.*|/user-exec\.c|/thunk\.c|/include/user/.*)
 
 util
   ~ (/qemu)?(/util/.*|/include/qemu/.*)