diff --git a/ports/unix/main.c b/ports/unix/main.c index 7920db02f2..d6ae1e611b 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -699,6 +699,7 @@ MP_NOINLINE int main_(int argc, char **argv) { char *basedir = realpath(argv[a], pathbuf); if (basedir == NULL) { mp_printf(&mp_stderr_print, "%s: can't open file '%s': [Errno %d] %s\n", argv[0], argv[a], errno, strerror(errno)); + free(pathbuf); // CPython exits with 2 in such case ret = 2; break;