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.

1 files changed, 2 insertions, 2 deletions

diff --git a/py/repl.c b/py/repl.c
index 4aff80018c..457ce165b7 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 @@ bool mp_repl_continue_with_input(const char *input) {
     return false;
 }
 
-#endif // MICROPY_ENABLE_REPL_HELPERS
+#endif // MICROPY_HELPER_REPL