diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-09-29 16:27:00 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-09-29 19:41:49 +0100 |
| commit | 860805aae7b7c26d32150bfc540d67bb951fffa9 (patch) | |
| tree | 18bb4b2000dac157c821a998efdd6c5c30f44acd /unix | |
| parent | 41249e17c3a661dc36f49ff6156ce67a70466157 (diff) | |
unix: Remove unnecessary #defines from config.
Diffstat (limited to 'unix')
| -rw-r--r-- | unix/mpconfigport.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index 56f66750f..b13fa16a7 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -33,8 +33,6 @@ #if !defined(MICROPY_EMIT_X86) && defined(__i386__) #define MICROPY_EMIT_X86 (1) #endif -#define MICROPY_EMIT_THUMB (0) -#define MICROPY_EMIT_INLINE_THUMB (0) #define MICROPY_ENABLE_GC (1) #define MICROPY_ENABLE_FINALISER (1) #define MICROPY_MEM_STATS (1) |