Function escape_path

tools/ninja_syntax.py:34–35

(word: str)

def escape_path(word: str) -> str:
    return word.replace("$ ", "$$ ").replace(" ", "$ ").replace(":", "$:")


class Writer(object):