diff options
Diffstat (limited to 'tools/xenpaging/Makefile')
| -rw-r--r-- | tools/xenpaging/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tools/xenpaging/Makefile b/tools/xenpaging/Makefile index 4188e50731..5ba4686d85 100644 --- a/tools/xenpaging/Makefile +++ b/tools/xenpaging/Makefile @@ -13,9 +13,6 @@ CFLAGS += -Werror CFLAGS += -Wno-unused CFLAGS += -g -CFLAGS += -Wp,-MD,.$(@F).d -DEPS = .*.d - OBJS = $(SRCS:.c=.o) IBINS = xenpaging |