Modify the Make.defs in lib/libc/sched : if CONFIG_CANCELLATION_POINTS is not 'y', task_setcanceltype.c in libc
should be built and if 'y', task_setcanceltype.c in os/kernel/task should be built
@@ -58,7 +58,7 @@ ifeq ($(CONFIG_BUILD_PROTECTED),y)
CSRCS += task_startup.c
endif
-ifeq ($(CONFIG_CANCELLATION_POINTS),y)
+ifneq ($(CONFIG_CANCELLATION_POINTS),y)
CSRCS += task_setcanceltype.c task_testcancel.c
endif
