diff options
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 2c7cdd389..f404e6698 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]: + if obj_ver not in [6, 10, 11]: print("Error: File '%s' is of an unknown format." % objfile, file=stderr) exit(1) |