Searched refs:command_prefix (Results 1 – 1 of 1) sorted by relevance

/scripts/
A D	gen_compile_commands.py	154 def process_line(root_directory, command_prefix, file_path): argument 175 prefix = command_prefix.replace(r'\#', '#').replace('$(pound)', '#')

Completed in 3 milliseconds

Last Index update Fri Aug 22 02:48:31 CST 2025