tools/makemanifest.py: Skip freezing unsupported files with warning.

pull/5302/head
Andrew Leech 2019-11-06 12:06:10 +11:00 zatwierdzone przez Damien George
rodzic f0e4677f0d
commit d2e6cfd8fd
1 zmienionych plików z 2 dodań i 1 usunięć

Wyświetl plik

@ -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))