diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-04-17 19:16:12 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-04-17 19:16:12 -0400 |
| commit | 955e4eddf8fdfbb68dad3ada8712faf6fb44a417 (patch) | |
| tree | 188aab180d15845cc4af7133d4024ecdd5b1cb40 /tools/unnamed.py | |
| parent | dd690920c9f8502b649f1022fadbb99fab67a44a (diff) | |
Actually use rgbds 0.5.0
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 f99a38d8..4268879e 100755 --- a/tools/unnamed.py +++ b/tools/unnamed.py @@ -82,7 +82,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, 15, 16]: + if obj_ver not in [6, 10, 11, 12, 13, 15, 16, 17]: print("Error: File '%s' is of an unknown format." % objfile, file=stderr) exit(1) |