diff options
| author | Paul Sokolovsky | 2014-07-13 13:49:51 +0300 |
|---|---|---|
| committer | Paul Sokolovsky | 2014-07-13 13:49:51 +0300 |
| commit | b82f34edde79e14d6b9260b3fddaf36b1354a558 (patch) | |
| tree | af9f3ba15825fed3f6c16059a5455dee7259310e /unix | |
| parent | 2cf381081ae0b7c3fa80814bebd626cb678ca766 (diff) | |
unix: Allow to disable MICROPY_EMIT_X64 from commandline.
emitnative in particular requires nlr_* to be real functions, so doesn't
compile with MICROPY_NLR_SETJMP=1.
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/mpconfigport.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index 73435863b..0831e3fd3 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -27,7 +27,9 @@ // options to control how Micro Python is built #define MICROPY_ALLOC_PATH_MAX (PATH_MAX) +#ifndef MICROPY_EMIT_X64 #define MICROPY_EMIT_X64 (1) +#endif #define MICROPY_EMIT_THUMB (0) #define MICROPY_EMIT_INLINE_THUMB (0) #define MICROPY_ENABLE_GC (1) |