From e1204e62e0bf842946f0418c94536a2ff2ea0805 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Mon, 16 May 2022 14:23:30 +0200
Subject: [PATCH] Fix double dot

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

diff --git a/builder/main.py b/builder/main.py
index 60139be..4f70e4e 100644
--- a/builder/main.py
+++ b/builder/main.py
@@ -281,7 +281,7 @@ upload_source = target_firm
 def UploadUF2ToDisk(target, source, env):
     assert "UPLOAD_PORT" in env
     progname = env.subst("$PROGNAME")
-    ext = ".uf2"
+    ext = "uf2"
     fpath = join(env.subst("$BUILD_DIR"), "%s.%s" % (progname, ext))
     if not isfile(fpath):
         print(