tools/unnamed.py supports rgbds 0.4.1 object files

This commit is contained in:
Rangi 2020-07-22 09:17:10 -04:00
parent 1aea38fd3e
commit b17255fe3f

View File

@ -81,7 +81,7 @@ for objfile in objects:
elif magic == b'RGB9': elif magic == b'RGB9':
obj_ver = 10 + unpack_file("<I", f)[0] obj_ver = 10 + unpack_file("<I", f)[0]
if obj_ver not in [6, 10, 11, 12, 13]: if obj_ver not in [6, 10, 11, 12, 13, 15]:
print("Error: File '%s' is of an unknown format." % objfile, file=stderr) print("Error: File '%s' is of an unknown format." % objfile, file=stderr)
exit(1) exit(1)