Fix tools/unnamed.py for new rgbds object format

2020-02-21 01:48:17 +01:00 · 2020-02-21 01:48:17 +01:00 · 18013b468a
parent 65a780994f
commit 18013b468a
1 changed files with 1 additions and 1 deletions
--- a/tools/unnamed.py
+++ b/tools/unnamed.py
@ -81,7 +81,7 @@ for objfile in objects:
    elif magic == b'RGB9':
        obj_ver = 10 + unpack_file("<I", f)[0]

-    if obj_ver not in [6, 10]:
+    if obj_ver not in [6, 10, 11]:
        print("Error: File '%s' is of an unknown format." % objfile, file=stderr)
        exit(1)