From 17a49431d484fd1ea9b08056b10881fd975f7ae1 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Fri, 20 Jun 2014 20:17:43 +0300
Subject: [PATCH] unix: Allow to override MICROPY_GCREGS_SETJMP from cmdline.

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

diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h
index 3426ae44fe..1559bdb359 100644
--- a/unix/mpconfigport.h
+++ b/unix/mpconfigport.h
@@ -53,7 +53,9 @@
 #define MICROPY_ERROR_REPORTING     (MICROPY_ERROR_REPORTING_DETAILED)
 // Define to 1 to use untested inefficient GC helper implementation
 // (if more efficient arch-specific one is not available).
+#ifndef MICROPY_GCREGS_SETJMP
 #define MICROPY_GCREGS_SETJMP       (0)
+#endif
 
 extern const struct _mp_obj_module_t mp_module_os;
 extern const struct _mp_obj_module_t mp_module_time;