From a84355a0638f6745408c8b0915b1ab02c0ff71fc Mon Sep 17 00:00:00 2001 From: Max Wash Date: Tue, 10 Jan 2023 20:59:14 +0000 Subject: [PATCH] generate_compile_commands.py can now handle different make-output path delimiters --- tools/make/generate_compile_commands.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/make/generate_compile_commands.py b/tools/make/generate_compile_commands.py index 65301d7..0fa815c 100755 --- a/tools/make/generate_compile_commands.py +++ b/tools/make/generate_compile_commands.py @@ -21,8 +21,8 @@ for line in make_output_lines: new_line_parts = [] if len(line_parts) >= 2 and 'Entering directory' in line: - prefix = 'Entering directory \'' - new_dir = line[line.find(prefix) + len(prefix):-1] + prefix = 'Entering directory ' + new_dir = line[line.find(prefix) + len(prefix)+1:-1] print('new dir: {}'.format(new_dir)) dir_stack.append(new_dir) continue