From c7b965a01c79f34586562d1e2b8eda2c00449bb2 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 24 Mar 2006 10:47:48 +0100 Subject: Fix mini-os xenbus. From: Grzegorz Milos Signed-off-by: Keir Fraser --- extras/mini-os/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'extras/mini-os/Makefile') diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 744a4a1e14..d541677f97 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -41,8 +41,7 @@ default: $(TARGET) links: [ -e include/xen ] || ln -sf ../../../xen/include/public include/xen - [ -e xenbus/xenstored.h ] || ln -sf ../../../tools/xenstore/xenstored.h xenbus/xenstored.h - + $(TARGET): links $(OBJS) $(LD) -N -T minios-$(TARGET_ARCH).lds $(OBJS) -o $@.elf gzip -f -9 -c $@.elf >$@.gz -- cgit v1.2.3