Searched refs:patched_dir (Results 1 – 1 of 1) sorted by relevance
642 local patched_dir="$(dirname "$patched_file")"648 mkdir -p "$patched_dir"649 cp -f "$file" "$patched_dir"