diff options
| -rw-r--r-- | unix/mpconfigport.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/mpconfigport.mk b/unix/mpconfigport.mk index d30be8b986..bfb01a71f1 100644 --- a/unix/mpconfigport.mk +++ b/unix/mpconfigport.mk @@ -7,4 +7,4 @@ MICROPY_USE_READLINE = 1 MICROPY_MOD_TIME = 1 # ffi module requires libffi (libffi-dev Debian package) -MICROPY_MOD_FFI = 0 +MICROPY_MOD_FFI = 1 |