On Sat, 21 May 2022 at 01:04, Richard Henderson
<richard.henderson@linaro.org> wrote:
>
> This header is not private to the top-level semihosting directory,
> so place it in the public include directory.
>
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
> {semihosting => include/semihosting}/common-semi.h | 0
> 1 file changed, 0 insertions(+), 0 deletions(-)
> rename {semihosting => include/semihosting}/common-semi.h (100%)
>
> diff --git a/semihosting/common-semi.h b/include/semihosting/common-semi.h
> similarity index 100%
> rename from semihosting/common-semi.h
> rename to include/semihosting/common-semi.h
> --
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
thanks
-- PMM