diff options
Diffstat (limited to 'extras/mini-os/Makefile')
-rw-r--r-- | extras/mini-os/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index 044c99c63d..744a4a1e14 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -32,7 +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)) +OBJS += $(patsubst %.c,%.o,$(wildcard console/*.c)) HDRS := $(wildcard include/*.h) HDRS += $(wildcard include/xen/*.h) |