Re: [Xen-devel] [PATCH v3 19/19] mini-os: repair build system

2016-08-11 Thread Samuel Thibault
Juergen Gross, on Thu 11 Aug 2016 11:18:22 +0200, wrote: > The build system of Mini-OS is using different settings for arch/*/* > than for the rest of the tree. The main reasons are that Config.mk is > included only conditionally in the top level Makefile, while minios.mk > isn't included by the ar

Re: [Xen-devel] [PATCH v3 19/19] mini-os: repair build system

2016-08-11 Thread Wei Liu
On Thu, Aug 11, 2016 at 11:18:22AM +0200, Juergen Gross wrote: > The build system of Mini-OS is using different settings for arch/*/* > than for the rest of the tree. The main reasons are that Config.mk is > included only conditionally in the top level Makefile, while minios.mk > isn't included by

[Xen-devel] [PATCH v3 19/19] mini-os: repair build system

2016-08-11 Thread Juergen Gross
The build system of Mini-OS is using different settings for arch/*/* than for the rest of the tree. The main reasons are that Config.mk is included only conditionally in the top level Makefile, while minios.mk isn't included by the arch Makefiles. Repairing this mess enables us to move the CONFIG_