Searched refs:patched_file (Results 1 – 1 of 1) sorted by relevance
633 local patched_file="$PATCHED_DIR/$rel_file"634 local patched_dir="$(dirname "$patched_file")"699 local patched_file="$PATCHED_CSUM_DIR/$rel_file"711 cmd+=("$patched_file")