--- a/master/Kbuild.in Sun Jul 08 13:33:09 2018 +0200
+++ b/master/Kbuild.in Sun Jul 08 13:40:31 2018 +0200
@@ -85,7 +85,7 @@
ec_master-objs += rtdm.o
ifeq (@ENABLE_XENOMAI@, 1)
-CFLAGS_rtdm.o := -I@XENOMAI_DIR@/include
+CFLAGS_rtdm.o := -I@XENOMAI_DIR@/include/xenomai
endif
ifeq (@ENABLE_RTAI@, 1)