The 'current' i386 build seems to fail trying to build the XEN3_DOMU kernel
with:

nbmake: nbmake: don't know how to make machine/xen3-public/sched_ctl.h. Stop

This happens during the 'depend' phase - even with a clean obj directory.

	David

-- 
David Laight: david@l8s.co.uk