34 """Use chars between enclosing tags ("<>", "''", etc) |
34 """Use chars between enclosing tags ("<>", "''", etc) |
35 start = opening tag, so the line we need |
35 start = opening tag, so the line we need |
36 actually starts at 'start + 1' """ |
36 actually starts at 'start + 1' """ |
37 |
37 |
38 abs_filename = line[(start + 1):end] |
38 abs_filename = line[(start + 1):end] |
39 filename = abs_filename.replace("/","\\") |
39 filename = abs_filename |
40 |
40 |
41 # Hack drive letters for case insensitivity on windows |
41 # Adjust drive letters for case insensitivity on windows |
42 |
42 |
43 path_prefix_to_strip = self.path_prefix_to_strip |
43 path_prefix_to_strip = self.path_prefix_to_strip |
44 if "win" in self.buildparameters.platform: |
44 if "win" in self.buildparameters.platform: |
45 filename = filename[0].upper()+filename[1:] |
45 filename = filename[0].upper()+filename[1:] |
46 filename = filename.replace("/","\\") |
46 filename = filename.replace("/","\\") |
47 |
47 |
48 if path_prefix_to_strip: |
48 if path_prefix_to_strip: |
49 if "win" in self.buildparameters.platform: |
49 if "win" in self.buildparameters.platform: |
50 path_prefix_to_strip = path_prefix_to_strip[0].upper()+path_prefix_to_strip[1:] |
50 path_prefix_to_strip = path_prefix_to_strip[0].upper()+path_prefix_to_strip[1:].replace("/","\\") |
51 if filename.startswith(path_prefix_to_strip): |
51 if filename.startswith(path_prefix_to_strip): |
52 filename = filename[len(path_prefix_to_strip):] |
52 filename = filename[len(path_prefix_to_strip):] |
53 if self.path_prefix_to_add_on != None: |
53 if self.path_prefix_to_add_on != None: |
54 filename = self.path_prefix_to_add_on + filename |
54 filename = self.path_prefix_to_add_on + filename |
55 |
55 |