From d735278c9f2e14dba51bd75e4152065b81925152 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Wed, 2 Dec 2015 16:05:02 +0200
Subject: [PATCH] unix/mpconfigport.h: For MICROPY_NO_ALLOCA=1, don't even
 include alloca.h.

---
 unix/mpconfigport.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h
index c6061f2254..587af23c15 100644
--- a/unix/mpconfigport.h
+++ b/unix/mpconfigport.h
@@ -232,8 +232,11 @@ extern const struct _mp_obj_fun_builtin_t mp_builtin_open_obj;
     void *mmap_region_head; \
 
 // We need to provide a declaration/definition of alloca()
+// unless support for it is disabled.
+#if !defined(MICROPY_NO_ALLOCA) || MICROPY_NO_ALLOCA == 0
 #ifdef __FreeBSD__
 #include <stdlib.h>
 #else
 #include <alloca.h>
 #endif
+#endif