wash/mango
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

generate_compile_commands.py can now handle different make-output path delimiters

Browse Source
This commit is contained in:
max 🍓
2023-01-10 20:59:14 +00:00
parent 18157925e7
commit a84355a063
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/make/generate_compile_commands.py
View File

@@ -21,8 +21,8 @@ for line in make_output_lines:
new_line_parts = [] new_line_parts = []
if len(line_parts) >= 2 and 'Entering directory' in line: if len(line_parts) >= 2 and 'Entering directory' in line:
prefix = 'Entering directory \'' prefix = 'Entering directory '
new_dir = line[line.find(prefix) + len(prefix):-1] new_dir = line[line.find(prefix) + len(prefix)+1:-1]
print('new dir: {}'.format(new_dir)) print('new dir: {}'.format(new_dir))
dir_stack.append(new_dir) dir_stack.append(new_dir)
continue continue