ia64/xen-unstable

view freebsd-5.3-xen-sparse/xenfbsd_kernel_build @ 7830:0895376edf73

acpi change is Xen/x86 specific, so make it dependent on
CONFIG_XEN_X86.

Signed-off-by: Keir Fraser <keir@xensource.com>
author kaf24@firebug.cl.cam.ac.uk
date Tue Nov 15 17:02:37 2005 +0100 (2005-11-15)
parents a01199a95070
children
line source
1 #!/bin/csh -f
2 cd i386-xen/conf
3 config XENCONF
4 cd ../compile/XENCONF
5 make kernel-clean
6 ln -s ../../include/xen-public/io/ring.h
7 make kernel-depend; make -j4 kernel