tools/pyboard.py: Fix joining of path in filesystem_command.

This was broken by 5327cd1021

Signed-off-by: Damien George <damien@micropython.org>
pull/10987/head
Damien George 2023-03-22 15:17:55 +11:00
rodzic d54208a2ff
commit b5ceb9d577
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -671,7 +671,7 @@ def filesystem_command(pyb, args, progress_callback=None, verbose=False):
if dest is None or dest == "":
dest = src
elif dest == ".":
dest = "/".join(".", src)
dest = "./" + src
elif dest.endswith("/"):
dest += src
return dest