coverity: Update user emulation regexp
authorPhilippe Mathieu-Daudé <philmd@linaro.org>
Fri, 22 Mar 2024 10:13:22 +0000 (11:13 +0100)
committerPhilippe Mathieu-Daudé <philmd@linaro.org>
Fri, 3 May 2024 15:21:20 +0000 (17:21 +0200)
commitbf0bcac890cc7b4c9e52c9e94817897ce73b69a8
tree4a5de53a03d844e75b5c356383f272c30dc2ec48
parent4e111653168acc058044885c679015d50fcaf474
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