| Index: runtime/tools/create_resources.py
|
| diff --git a/runtime/tools/create_resources.py b/runtime/tools/create_resources.py
|
| index d2c0cead2a9fb65076ab5823e46b61542f21b800..e3a9c84cf65f37e3bdb239d04ffb801eb41e49b1 100644
|
| --- a/runtime/tools/create_resources.py
|
| +++ b/runtime/tools/create_resources.py
|
| @@ -26,7 +26,7 @@ def makeResources(root_dir, input_files):
|
| resource_url = '/%s' % resource_file_name
|
| result += '// %s\n' % resource_file
|
| result += 'const char '
|
| - resource_name = re.sub(r'(/|\.)', '_', resource_file_name) + '_'
|
| + resource_name = re.sub(r'(/|\.|-)', '_', resource_file_name) + '_'
|
| result += resource_name
|
| result += '[] = {\n '
|
| fileHandle = open(resource_file, 'rb')
|
|
|