Tidy up some configuration options.
MP_ALLOC_* -> MICROPY_ALLOC_*
MICROPY_PATH_MAX -> MICROPY_ALLOC_PATH_MAX
MICROPY_ENABLE_REPL_HELPERS -> MICROPY_HELPER_REPL
MICROPY_ENABLE_LEXER_UNIX -> MICROPY_HELPER_LEXER_UNIX
MICROPY_EXTRA_* -> MICROPY_PORT_*
See issue #35.
diff --git a/py/repl.c b/py/repl.c
index 4aff800..457ce16 100644
--- a/py/repl.c
+++ b/py/repl.c
@@ -28,7 +28,7 @@
#include "mpconfig.h"
#include "repl.h"
-#if MICROPY_ENABLE_REPL_HELPERS
+#if MICROPY_HELPER_REPL
bool str_startswith_word(const char *str, const char *head) {
int i;
@@ -107,4 +107,4 @@
return false;
}
-#endif // MICROPY_ENABLE_REPL_HELPERS
+#endif // MICROPY_HELPER_REPL