copy_dir          379 win32/build/mkdist.php 			copy_dir($fs, $fd);
copy_dir          399 win32/build/mkdist.php 		copy_dir($directory, $dest . '/tests/');
copy_dir          418 win32/build/mkdist.php 				copy_dir($full_path, $dest . '/' . $full_path . '/');
copy_dir          526 win32/build/mkdist.php 					copy_dir($item, "$dist_dir/$bi");
copy_dir          530 win32/build/mkdist.php 				copy_dir($item, "$dist_dir/extras/$bi");
copy_dir          549 win32/build/mkdist.php 			copy_dir($item, "$dist_dir/$bi");
copy_dir          550 win32/build/mkdist.php 			copy_dir($item, "$dist_dir/ext/$bi");