| Index: runtime/tools/create_resources.py
|
| diff --git a/runtime/tools/create_resources.py b/runtime/tools/create_resources.py
|
| index ab8371d3d0f59efb0831635404748333e45c9ecd..255ef92abacdaf7bc5e7bb87b23640979d02d4f7 100644
|
| --- a/runtime/tools/create_resources.py
|
| +++ b/runtime/tools/create_resources.py
|
| @@ -26,7 +26,7 @@ def makeResources(root_dir, input_files, table_name):
|
| 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')
|
|
|