mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 21:20:13 +01:00
If the built-in input() is enabled (which it is by default) then it needs some form of readline, so supply it with one when MICROPY_USE_READLINE=0. Fixes issue #5658.