Home
last modified time | relevance | path

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

/optee_os/scripts/
H A Dgen_compile_commands.py159 def process_line(root_directory, command_prefix, file_path): argument
180 prefix = command_prefix.replace(r'\#', '#').replace('$(pound)', '#')