adeck/platform-raspberrypi
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Hotfix uploading

Browse Source
This commit is contained in:
unknown 2021-08-18 19:46:24 +02:00
parent 1a37e2dc73
commit 673d327f62
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
builder/main.py
View File

@ -284,7 +284,7 @@ if upload_protocol == "mbed":
] ]
elif upload_protocol == "picotool": elif upload_protocol == "picotool":
env.Replace( env.Replace(
UPLOADER="rp2040load", UPLOADER='"%s"' % join(platform.get_package_dir("tool-rp2040tools") or "", "rp2040load"),
UPLOADERFLAGS=["-v", "-D"], UPLOADERFLAGS=["-v", "-D"],
UPLOADCMD="$UPLOADER $UPLOADERFLAGS $SOURCES" UPLOADCMD="$UPLOADER $UPLOADERFLAGS $SOURCES"
) )
@ -310,7 +310,6 @@ elif upload_protocol == "picotool":
# reboot after filesystem upload # reboot after filesystem upload
upload_actions.append(env.VerboseAction(RebootPico, "Rebooting device...")) upload_actions.append(env.VerboseAction(RebootPico, "Rebooting device..."))
upload_source = target_elf upload_source = target_elf
elif upload_protocol.startswith("jlink"): elif upload_protocol.startswith("jlink"):