Home
last modified time | relevance | path

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

/php-src/win32/build/
H A Dmkdist.php363 $openssl_dest_dir = "$dist_dir/extras/ssl"; variable
364 if (!file_exists($openssl_dest_dir) || !is_dir($openssl_dest_dir)) {
365 if (!mkdir($openssl_dest_dir, 0777, true)) {
366 echo "WARNING: couldn't create '$openssl_dest_dir' for OpenSSL providers ";
370 if (!copy($fl, "$openssl_dest_dir/" . basename($fl))) {
371 echo "WARNING: couldn't copy $fl into the $openssl_dest_dir";

Completed in 5 milliseconds