diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-05-24 23:03:12 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-05-24 23:03:12 +0100 |
| commit | ee3fd46f1383e984c968c4a82d634d7b0cea49b8 (patch) | |
| tree | 76eb38f9015df5d003f646ce019745426365021c /unix/mpconfigport.mk | |
| parent | d0ceb04b90ca7edd7e45b8eff1cdebdfa20a0cf8 (diff) | |
Rename configuration variables controling Python features.
Now of the form MICROPY_PY_*. See issue #35.
Diffstat (limited to 'unix/mpconfigport.mk')
| -rw-r--r-- | unix/mpconfigport.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/unix/mpconfigport.mk b/unix/mpconfigport.mk index 352d01067..f9b99e234 100644 --- a/unix/mpconfigport.mk +++ b/unix/mpconfigport.mk @@ -7,7 +7,7 @@ MICROPY_FORCE_32BIT = 0 MICROPY_USE_READLINE = 1 # Subset of CPython time module -MICROPY_MOD_TIME = 1 +MICROPY_PY_TIME = 1 # ffi module requires libffi (libffi-dev Debian package) -MICROPY_MOD_FFI = 1 +MICROPY_PY_FFI = 1 |