Searched refs:PATCHED_SOURCE_DIR_NAME (Results 1 – 1 of 1) sorted by relevance
167 PATCHED_SOURCE_DIR_NAME = "PatchedSource" variable201 cwd = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)428 cwd = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)586 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)648 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)819 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)864 path_prefix = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)