If create_verify_dir() fails[1], we need more info why that happened.
[1] <https://ci.appveyor.com/project/cmb69/php-src/builds/
25324138/job/dm1n12gqhdqa3ln5#L5753>
{
$full = $prefix . DIRECTORY_SEPARATOR . $basename;
- if (!mkdir($full) || get_basename_with_cp($full, $cp, false) !== $basename) {
+ if (!mkdir($full)) {
echo "failed to create dir '$full'\n";
+ return;
+ }
+
+ $now = get_basename_with_cp($full, $cp, false);
+ if ($now !== $basename) {
+ echo "expected '$basename', got '$now'\n";
}
}