summaryrefslogtreecommitdiffstatshomepage
path: root/ports/unix/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'ports/unix/main.c')
-rw-r--r--ports/unix/main.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c
index 9147feb32d..fcf8b1558c 100644
--- a/ports/unix/main.c
+++ b/ports/unix/main.c
@@ -64,7 +64,9 @@ long heap_size = 1024*1024 * (sizeof(mp_uint_t) / 4);
STATIC void stderr_print_strn(void *env, const char *str, size_t len) {
(void)env;
+ MP_THREAD_GIL_EXIT();
ssize_t dummy = write(STDERR_FILENO, str, len);
+ MP_THREAD_GIL_ENTER();
mp_uos_dupterm_tx_strn(str, len);
(void)dummy;
}