aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhilippe Mathieu-Daudé <philmd@linaro.org>2024-03-22 11:13:22 +0100
committerPhilippe Mathieu-Daudé <philmd@linaro.org>2024-05-03 17:21:20 +0200
commitbf0bcac890cc7b4c9e52c9e94817897ce73b69a8 (patch)
tree4a5de53a03d844e75b5c356383f272c30dc2ec48
parent4e111653168acc058044885c679015d50fcaf474 (diff)
downloadqemu-bf0bcac890cc7b4c9e52c9e94817897ce73b69a8.zip
qemu-bf0bcac890cc7b4c9e52c9e94817897ce73b69a8.tar.gz
qemu-bf0bcac890cc7b4c9e52c9e94817897ce73b69a8.tar.bz2
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>
-rw-r--r--scripts/coverity-scan/COMPONENTS.md2
1 files changed, 1 insertions, 1 deletions
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 @@ usb
~ (/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/.*)