summaryrefslogtreecommitdiff
path: root/py/repl.c
diff options
context:
space:
mode:
authorJohn R. Lenton <jlenton@gmail.com>2014-01-07 23:06:46 +0000
committerJohn R. Lenton <jlenton@gmail.com>2014-01-07 23:06:46 +0000
commit9c83ec0edac2394431a5d1aecba1d666ffdea0a3 (patch)
treeccf18860da373cf13194788b793a962335d69fef /py/repl.c
parent27d4ca7693c276d09a911c00c3442729c516dc23 (diff)
Merge remote-tracking branch 'upstream/master' into dict_feats
Diffstat (limited to 'py/repl.c')
-rw-r--r--py/repl.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/py/repl.c b/py/repl.c
index 4241ef0e4..473313c1e 100644
--- a/py/repl.c
+++ b/py/repl.c
@@ -1,6 +1,9 @@
#include "misc.h"
+#include "mpconfig.h"
#include "repl.h"
+#if MICROPY_ENABLE_REPL_HELPERS
+
bool str_startswith_word(const char *str, const char *head) {
int i;
for (i = 0; str[i] && head[i]; i++) {
@@ -42,3 +45,5 @@ bool mp_repl_is_compound_stmt(const char *line) {
}
return n_paren > 0 || n_brack > 0 || n_brace > 0;
}
+
+#endif // MICROPY_ENABLE_REPL_HELPERS