Searched refs:patched_file (Results 1 – 1 of 1) sorted by relevance
641 local patched_file="$PATCHED_DIR/$rel_file"642 local patched_dir="$(dirname "$patched_file")"709 local patched_file="$PATCHED_CSUM_DIR/$rel_file"721 cmd+=("$patched_file")