diff options
| author | Andrew Leech <andrew.leech@planetinnovation.com.au> | 2019-11-06 12:06:10 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-11-07 12:34:57 +1100 |
| commit | d2e6cfd8fd1044dead49cd95795a30c42c66463c (patch) | |
| tree | a9cdddda040d2bc0bf7030a7051cfe02d96804f4 /tools/makemanifest.py | |
| parent | f0e4677f0dafa027d3f534795a1849ad5430e98f (diff) | |
tools/makemanifest.py: Skip freezing unsupported files with warning.
Diffstat (limited to 'tools/makemanifest.py')
| -rw-r--r-- | tools/makemanifest.py | 3 |
1 files changed, 2 insertions, 1 deletions
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)) |