From 673d327f62dfbf26a599d49078366d8b5d930ed5 Mon Sep 17 00:00:00 2001
From: unknown <maximilian.gerhardt@rub.de>
Date: Wed, 18 Aug 2021 19:46:24 +0200
Subject: [PATCH] Hotfix uploading

---
 builder/main.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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