Subject: scheduler changes broke xen?
To: None <,>
From: Thor Lancelot Simon <>
List: tech-kern
Date: 10/09/2007 02:30:02
I get this on an i386 'make release':

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

nbmake: stopped in /usr/obj/i386/usr/src/sys/arch/i386/compile/XEN3_DOM0

*** Failed target:  kern-XEN3_DOM0
*** Failed command: cd /usr/obj/i386/usr/src/sys/arch/i386/compile/XEN3_DOM0
/usr/local/tools.i386/bin/nbmake depend && /usr/local/tools.i386/bin/nbmake
*** Error code 2

nbmake: stopped in /usr/src/etc

  Thor Lancelot Simon	                           

  "The inconsistency is startling, though admittedly, if consistency is to
   be abandoned or transcended, there is no problem."	      - Noam Chomsky