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

Fix double dot

Browse Source
This commit is contained in:
Maximilian Gerhardt 2022-05-16 14:23:30 +02:00 committed by GitHub
parent ddcb4a395d
commit e1204e62e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
builder/main.py
View File

@ -281,7 +281,7 @@ upload_source = target_firm
def UploadUF2ToDisk(target, source, env): def UploadUF2ToDisk(target, source, env):
assert "UPLOAD_PORT" in env assert "UPLOAD_PORT" in env
progname = env.subst("$PROGNAME") progname = env.subst("$PROGNAME")
ext = ".uf2" ext = "uf2"
fpath = join(env.subst("$BUILD_DIR"), "%s.%s" % (progname, ext)) fpath = join(env.subst("$BUILD_DIR"), "%s.%s" % (progname, ext))
if not isfile(fpath): if not isfile(fpath):
print( print(