On 01.07.2024 15:46, Alessandro Zucchelli wrote:
> --- a/xen/build.mk
> +++ b/xen/build.mk
> @@ -18,6 +18,8 @@ quiet_cmd_compile.h = UPD $@
> define cmd_compile.h
> if [ ! -r $@ -o -O $@ ]; then \
> cat .banner; \
> + echo '#ifndef INCLUDE_XEN_COMPILE_H' >> $(dot-target).tmp; \
This addresses violations of MISRA C:2012 Rule 4.10 which states as
following: Precautions shall be taken in order to prevent the contents
of a header file being included more than once.
Added inclusion guards for autogenerated header files: include/xen/compile.h
and include/xen/hypercall-defs.h.
