diff options
Diffstat (limited to 'extmod/uos_dupterm.c')
| -rw-r--r-- | extmod/uos_dupterm.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extmod/uos_dupterm.c b/extmod/uos_dupterm.c index 826bf1715..981d05a63 100644 --- a/extmod/uos_dupterm.c +++ b/extmod/uos_dupterm.c @@ -33,10 +33,11 @@ #include "py/objarray.h" #include "py/stream.h" #include "extmod/misc.h" -#include "shared/runtime/interrupt_char.h" #if MICROPY_PY_OS_DUPTERM +#include "shared/runtime/interrupt_char.h" + void mp_uos_deactivate(size_t dupterm_idx, const char *msg, mp_obj_t exc) { mp_obj_t term = MP_STATE_VM(dupterm_objs[dupterm_idx]); MP_STATE_VM(dupterm_objs[dupterm_idx]) = MP_OBJ_NULL; |