From: Thomas Leonard <talex5@gmail.com>
Date: Wed, 11 Jun 2014 10:30:17 +0000 (+0100)
Subject: mini-os: don't include queue.h if there's no libc
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~4858
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=12a5f2b892ef56bdce7e93f29e2312714c577f2d;p=xen.git

mini-os: don't include queue.h if there's no libc

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
---

diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h
index 935bede482..670c14fb24 100644
--- a/extras/mini-os/include/lib.h
+++ b/extras/mini-os/include/lib.h
@@ -52,10 +52,10 @@
 #include <stddef.h>
 #include <xen/xen.h>
 #include <xen/event_channel.h>
-#include <sys/queue.h>
 #include "gntmap.h"
 
 #ifdef HAVE_LIBC
+#include <sys/queue.h>
 #include <stdio.h>
 #else
 #include <lib-gpl.h>