diff options
author | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-22 09:17:18 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2020-07-22 09:17:18 -0400 |
commit | ef7a52fb795d3799929e1684f0337e92d1c846f9 (patch) | |
tree | 4dfc58eddd1ca8882df70dd2fd07925994bf85e4 /tools/unnamed.py | |
parent | 96d38a1b9ccb843996fa887643b3ee59597982d0 (diff) |
tools/unnamed.py supports rgbds 0.4.1 object files
Diffstat (limited to 'tools/unnamed.py')
-rwxr-xr-x | tools/unnamed.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/unnamed.py b/tools/unnamed.py index e9e9155c..43e539c6 100755 --- 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, 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) exit(1) |