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