On Sat, 21 May 2022 at 01:04, Richard Henderson
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
> ---
> {semihosting => include/semihosting}/common-semi.h | 0
> 1 file changed, 0 in
This header is not private to the top-level semihosting directory,
so place it in the public include directory.
Signed-off-by: Richard Henderson
---
{semihosting => include/semihosting}/common-semi.h | 0
1 file changed, 0 insertions(+), 0 deletions(-)
rename {semihosting => include/semihosting
