From b17255fe3fe1466414fb69349345b956457441b0 Mon Sep 17 00:00:00 2001
From: Rangi <remy.oukaour+rangi42@gmail.com>
Date: Wed, 22 Jul 2020 09:17:10 -0400
Subject: [PATCH] tools/unnamed.py supports rgbds 0.4.1 object files

---
 tools/unnamed.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/unnamed.py b/tools/unnamed.py
index d3d6633e3..06295876d 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)