diff options
| author | Paul Sokolovsky | 2017-12-16 20:43:04 +0200 |
|---|---|---|
| committer | Paul Sokolovsky | 2017-12-16 20:43:04 +0200 |
| commit | ea742085ed0ca3ce3b8b14b69442fd13ccc2a754 (patch) | |
| tree | 23801a31218f71ef22d4139952070ac04def46d1 | |
| parent | 7f9a62408de96f8d78926690968ac1f9ead19f3c (diff) | |
unix/mpconfigport.h: Allow to override stackless options from commandline.
| -rw-r--r-- | ports/unix/mpconfigport.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/unix/mpconfigport.h b/ports/unix/mpconfigport.h index 06ae1e234..353bfa3e4 100644 --- a/ports/unix/mpconfigport.h +++ b/ports/unix/mpconfigport.h @@ -106,8 +106,10 @@ #define MICROPY_PY_GC_COLLECT_RETVAL (1) #define MICROPY_MODULE_FROZEN_STR (1) +#ifndef MICROPY_STACKLESS #define MICROPY_STACKLESS (0) #define MICROPY_STACKLESS_STRICT (0) +#endif #define MICROPY_PY_OS_STATVFS (1) #define MICROPY_PY_UTIME (1) |