diff options
author | Damien George <damien.p.george@gmail.com> | 2015-06-04 23:42:45 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-06-04 23:42:45 +0100 |
commit | 031278f661e5d285c56359e355a96161bf6e1a9f (patch) | |
tree | 28bbc709418b0e81b941f8ad014ed2a5aab86165 /py/lexer.h | |
parent | 9724a0538b82109992bfe9322008eab7f62064b7 (diff) |
unix: Allow to cat a script into stdin from the command line.
See issue #1306.
Diffstat (limited to 'py/lexer.h')
-rw-r--r-- | py/lexer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/py/lexer.h b/py/lexer.h index 17c472d98..36d1e99d2 100644 --- a/py/lexer.h +++ b/py/lexer.h @@ -194,4 +194,8 @@ typedef enum { mp_import_stat_t mp_import_stat(const char *path); mp_lexer_t *mp_lexer_new_from_file(const char *filename); +#if MICROPY_HELPER_LEXER_UNIX +mp_lexer_t *mp_lexer_new_from_fd(qstr filename, int fd, bool close_fd); +#endif + #endif // __MICROPY_INCLUDED_PY_LEXER_H__ |