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.hender...@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 -- 2.34.1