Searched refs:copy_file_list (Results 1 – 1 of 1) sorted by relevance
| /PHP-7.2/win32/build/ |
| H A D | mkdist.php | 137 function copy_file_list($source_dir, $dest_dir, $list) function
235 copy_file_list($build_dir, "$dist_dir", [$phpdll]);
246 copy_file_list($build_dir, "$dist_dir", $sapi_targets);
249 copy_file_list($build_dir, "$dist_dir/ext", $ext_targets);
253 copy_file_list($build_dir, $pecl_dir, $pecl_targets);
|
Completed in 5 milliseconds
