Index: runtime/tools/gen_library_src_paths.py |
=================================================================== |
--- runtime/tools/gen_library_src_paths.py (revision 22382) |
+++ runtime/tools/gen_library_src_paths.py (working copy) |
@@ -28,14 +28,16 @@ |
if line.startswith('library '): |
main_file_found = True |
bootstrap_cc_text = bootstrap_cc_text.replace( |
- "{{LIBRARY_SOURCE_MAP}}", |
- ' "' + lib_name + '", "' + |
- os.path.abspath(string_file) + '", \n') |
+ "{{LIBRARY_SOURCE_MAP}}", |
+ ' "' + lib_name + '", "' + |
+ os.path.abspath(string_file).replace('\\', '\\\\') + '", \n') |
inpt.close() |
if (main_file_found): |
continue |
- part_index.append(' "' + os.path.basename(string_file) + '", ') |
- part_index.append('"' + os.path.abspath(string_file) + '", \n') |
+ part_index.append(' "' + |
+ os.path.basename(string_file).replace('\\', '\\\\') + '", ') |
+ part_index.append('"' + |
+ os.path.abspath(string_file).replace('\\', '\\\\') + '", \n') |
bootstrap_cc_text = bootstrap_cc_text.replace("{{PART_SOURCE_MAP}}", |
''.join(part_index)) |
open(output_file, 'w').write(bootstrap_cc_text) |