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)419 cwd = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)577 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)639 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)810 patched_source = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)854 path_prefix = os.path.join(directory, PATCHED_SOURCE_DIR_NAME)