diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 65a43def94..044c99c63d 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -32,6 +32,7 @@ OBJS := $(TARGET_ARCH).o OBJS += $(patsubst %.c,%.o,$(wildcard *.c)) OBJS += $(patsubst %.c,%.o,$(wildcard lib/*.c)) OBJS += $(patsubst %.c,%.o,$(wildcard xenbus/*.c)) +#OBJS += $(patsubst %.c,%.o,$(wildcard console/*.c)) HDRS := $(wildcard include/*.h) HDRS += $(wildcard include/xen/*.h) |