From 9a3f18db378070fb10dc21b542138bb404ed406d Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Mon, 29 Sep 2014 07:48:45 -0600 Subject: [PATCH] Fix missing header file for bug introduced yesterday --- sched/group/group_free.c | 1 + sched/group/group_malloc.c | 1 + 2 files changed, 2 insertions(+) diff --git a/sched/group/group_free.c b/sched/group/group_free.c index 88205cebfb..ce0cc9cad7 100644 --- a/sched/group/group_free.c +++ b/sched/group/group_free.c @@ -44,6 +44,7 @@ #include #include +#include "sched/sched.h" #include "group/group.h" #if (defined(CONFIG_BUILD_PROTECTED) || defined(CONFIG_BUILD_KERNEL)) && \ diff --git a/sched/group/group_malloc.c b/sched/group/group_malloc.c index e48bd3d35e..89c0eccfde 100644 --- a/sched/group/group_malloc.c +++ b/sched/group/group_malloc.c @@ -44,6 +44,7 @@ #include #include +#include "sched/sched.h" #include "group/group.h" #if (defined(CONFIG_BUILD_PROTECTED) || defined(CONFIG_BUILD_KERNEL)) && \