From a5e30ac4a1fbc3c3572b4eb1f881c8c37d3319a9 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 15 Sep 2014 10:16:20 -0600
Subject: [PATCH] execv() is a basic system interface.  It should not be in
 libc/ but rather in sched/task.  Its symboltable helper logic also belongs in
 the kernel but belings in binfmt/ with the other symbol table logic

---
 sched/task/task_posixspawn.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sched/task/task_posixspawn.c b/sched/task/task_posixspawn.c
index a4e30f9fb8..65ee785ab3 100644
--- a/sched/task/task_posixspawn.c
+++ b/sched/task/task_posixspawn.c
@@ -45,6 +45,7 @@
 
 #include <nuttx/kthread.h>
 #include <nuttx/binfmt/binfmt.h>
+#include <nuttx/binfmt/symtab.h>
 
 #include "sched/sched.h"
 #include "group/group.h"