mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
Mini-OS apps need to be compiled with the appropriate config settings of Mini-OS, as there are various dependencies on those settings in header files included by the apps. Enhance stubdom Makefile to set the appropriate CPPFLAGS when calling the apps' make. Signed-off-by: Juergen Gross <jgross@suse.com> Acked-by: Wei Liu <wei.liu2@citrix.com> [ wei: fold in change to Config.mk to update mini-os commit ]