diff options
Diffstat (limited to 'tools/misc')
-rw-r--r-- | tools/misc/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/misc/Makefile b/tools/misc/Makefile index 6e394d8043..743f0f4402 100644 --- a/tools/misc/Makefile +++ b/tools/misc/Makefile @@ -1,7 +1,7 @@ - -CC = gcc -CFLAGS = -Wall -O3 -EXTRA_INC = -I../../xen/include -I../../xenolinux-sparse/include -I../xc/lib +CC = gcc +CFLAGS = -Wall -O3 +EXTRA_INC = -I../../xen/include/hypervisor-ifs +EXTRA_INC += -I../../xenolinux-sparse/include -I../xc/lib HDRS = $(wildcard *.h) SRCS = $(wildcard *.c) |