diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-03-01 12:23:04 +0000 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2007-03-01 12:23:04 +0000 |
commit | 84e23d3ec9d8396dda23452caa84c21e9f0305f8 (patch) | |
tree | 41c8ae0d88440e41a81ec675704b4221579225d8 /extras/mini-os/arch/x86/Makefile | |
parent | 167b02743b6cd4d7e5a880f28f451a23d0a753cc (diff) | |
download | xen-84e23d3ec9d8396dda23452caa84c21e9f0305f8.tar.gz xen-84e23d3ec9d8396dda23452caa84c21e9f0305f8.tar.bz2 xen-84e23d3ec9d8396dda23452caa84c21e9f0305f8.zip |
Fix PAE Mini-OS build.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/arch/x86/Makefile')
-rw-r--r-- | extras/mini-os/arch/x86/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/arch/x86/Makefile b/extras/mini-os/arch/x86/Makefile index 8e655f1d64..10cb1ff9a1 100644 --- a/extras/mini-os/arch/x86/Makefile +++ b/extras/mini-os/arch/x86/Makefile @@ -4,6 +4,7 @@ # # include arch.mk has to be before mini-os.mk! + include arch.mk include ../../minios.mk |