ref: 24c058bc0af611f0fb8da5286dc08ae1837b131c
parent: ed44d1cdb7e2f389be56a0158f8ce857e02a76b3
author: mid-kid <[email protected]>
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]