copy_dir          367 win32/build/mkdist.php 			copy_dir($fs, $fd);
copy_dir          387 win32/build/mkdist.php 		copy_dir($directory, $dest . '/tests/');
copy_dir          406 win32/build/mkdist.php 				copy_dir($full_path, $dest . '/' . $full_path . '/');
copy_dir          514 win32/build/mkdist.php 					copy_dir($item, "$dist_dir/$bi");
copy_dir          518 win32/build/mkdist.php 				copy_dir($item, "$dist_dir/extras/$bi");
copy_dir          537 win32/build/mkdist.php 			copy_dir($item, "$dist_dir/$bi");
copy_dir          538 win32/build/mkdist.php 			copy_dir($item, "$dist_dir/ext/$bi");