diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2008-01-28 12:58:57 +0000 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2008-01-28 12:58:57 +0000 |
commit | eac4b98d111d587a81de18c44f923c8979b8df69 (patch) | |
tree | 43095583b87a7d60050ac231b5e6dedcbda1f9cb /extras/mini-os/include/lib.h | |
parent | 47b4b84737422992f5503f786933f845b229ce7d (diff) | |
download | xen-eac4b98d111d587a81de18c44f923c8979b8df69.tar.gz xen-eac4b98d111d587a81de18c44f923c8979b8df69.tar.bz2 xen-eac4b98d111d587a81de18c44f923c8979b8df69.zip |
minios: Fix ia64 build.
Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>
Diffstat (limited to 'extras/mini-os/include/lib.h')
-rw-r--r-- | extras/mini-os/include/lib.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index d946e0a534..efe096bdba 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -57,7 +57,6 @@ #include <stdarg.h> #include <stddef.h> -#include <console.h> #ifdef HAVE_LIBC #include <stdio.h> @@ -98,6 +97,7 @@ char *strstr(const char *s1, const char *s2); char * strcat(char * dest, const char * src); char *strdup(const char *s); #endif +#include <console.h> #define RAND_MIX 2654435769U |