ref: 24c058bc0af611f0fb8da5286dc08ae1837b131c
parent: ed44d1cdb7e2f389be56a0158f8ce857e02a76b3
author: mid-kid <esteve.varela@gmail.com>
date: Tue Feb 4 18:19:41 EST 2020
Fix tools/unnamed.py for new rgbds object format
--- a/tools/unnamed.py
+++ b/tools/unnamed.py
@@ -73,8 +73,16 @@
files = {}for objfile in objects:
f = open(objfile, "rb")
- if unpack_file("4s", f)[0] != b'RGB6':- print("Error: File '%s' is of an unknown format." % filename, file=stderr)+ obj_ver = None
+
+ magic = unpack_file("4s", f)[0]+ if magic == b'RGB6':
+ obj_ver = 6
+ elif magic == b'RGB9':
+ obj_ver = 10 + unpack_file("<I", f)[0]+
+ if obj_ver not in [6, 10]:
+ print("Error: File '%s' is of an unknown format." % objfile, file=stderr)exit(1)
num_symbols = unpack_file("<II", f)[0]--
⑨