Home
last modified time | relevance | path

Searched refs:source_dir (Results 1 – 1 of 1) sorted by relevance

/PHP-7.4/win32/build/
H A Dmkdist.php131 function copy_file_list($source_dir, $dest_dir, $list) argument
138 } elseif (!is_file($source_dir . DIRECTORY_SEPARATOR . $item)) {
143 echo "Copying $item from $source_dir to $dest_dir\n";
144 copy($source_dir . DIRECTORY_SEPARATOR . $item, $dest_dir . DIRECTORY_SEPARATOR . $item);
147 if (file_exists("$source_dir/$itemdb")) {
148 copy("$source_dir/$itemdb", "$dist_dir/dev/$itemdb");
152 get_depends($source_dir . '/' . $item);

Completed in 5 milliseconds