Searched refs:openssl_dest_dir (Results 1 – 1 of 1) sorted by relevance
363 $openssl_dest_dir = "$dist_dir/extras/ssl"; variable364 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