diff options
| -rw-r--r-- | ports/unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index 7a3305a5d..3f464d5a7 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -493,7 +493,7 @@ MP_NOINLINE int main_(int argc, char **argv) { #endif } size_t path_num = 1; // [0] is for current dir (or base dir of the script) - if (*path == ':') { + if (*path == PATHLIST_SEP_CHAR) { path_num++; } for (char *p = path; p != NULL; p = strchr(p, PATHLIST_SEP_CHAR)) { |