diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
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 |