From 6bfef5b2de7c48ca8cf32990a0501e1f20cbb888 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 10 Jul 2015 13:32:00 -0600
Subject: [PATCH] os_main.c may not call waitpid() and so needs to include
 sys/wait.h

---
 examples/ostest/ostest_main.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/ostest/ostest_main.c b/examples/ostest/ostest_main.c
index 6d0ec4eeb..95f94b7c8 100644
--- a/examples/ostest/ostest_main.c
+++ b/examples/ostest/ostest_main.c
@@ -39,6 +39,7 @@
 
 #include <nuttx/config.h>
 
+#include <sys/wait.h>
 #include <stdbool.h>
 #include <stdio.h>
 #include <stdlib.h>