diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-02-13 15:26:53 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-02-13 15:26:53 +0000 |
| commit | 601c814603801ad3af78e37d26c87a4470156738 (patch) | |
| tree | 4e6f5b1b6cdd15b8c7c6967da1d66aa90f81115e /lib/mp-readline | |
| parent | ccf45a42833355100c1cebb5851fa36494914ce1 (diff) | |
minimal: Allow to compile without defining MICROPY_HAL_H.
Diffstat (limited to 'lib/mp-readline')
| -rw-r--r-- | lib/mp-readline/readline.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/mp-readline/readline.c b/lib/mp-readline/readline.c index 53376708f..303d95b15 100644 --- a/lib/mp-readline/readline.c +++ b/lib/mp-readline/readline.c @@ -30,7 +30,9 @@ #include "py/mpstate.h" #include "readline.h" +#ifdef MICROPY_HAL_H #include MICROPY_HAL_H +#endif #if 0 // print debugging info #define DEBUG_PRINT (1) |