From d2e6cfd8fd1044dead49cd95795a30c42c66463c Mon Sep 17 00:00:00 2001
From: Andrew Leech <andrew.leech@planetinnovation.com.au>
Date: Wed, 6 Nov 2019 12:06:10 +1100
Subject: [PATCH] tools/makemanifest.py: Skip freezing unsupported files with
 warning.

---
 tools/makemanifest.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/makemanifest.py b/tools/makemanifest.py
index a3aa42ca4..3a5e230d8 100644
--- a/tools/makemanifest.py
+++ b/tools/makemanifest.py
@@ -185,7 +185,8 @@ def freeze_internal(kind, path, script, opt):
                     kind = k
                     break
             else:
-                raise FreezeError('unsupported file type {}'.format(script))
+                print('warn: unsupported file type, skipped freeze: {}'.format(script))
+                return
         wanted_extension = extension_kind[kind]
         if not script.endswith(wanted_extension):
             raise FreezeError('expecting a {} file, got {}'.format(wanted_extension, script))