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");