diff --git a/src/Composer/Util/Filesystem.php b/src/Composer/Util/Filesystem.php index f1c8d38eb..a86eab7de 100644 --- a/src/Composer/Util/Filesystem.php +++ b/src/Composer/Util/Filesystem.php @@ -294,6 +294,8 @@ class Filesystem if (Platform::isWindows()) { usleep(350000); $deleted = @rmdir($path); + } elseif (Platform::workaroundFilesystemIssues()) { + $deleted = @rmdir($path); } if (!$deleted) { diff --git a/src/Composer/Util/Platform.php b/src/Composer/Util/Platform.php index 75b0b06eb..fd0183c43 100644 --- a/src/Composer/Util/Platform.php +++ b/src/Composer/Util/Platform.php @@ -174,7 +174,11 @@ class Platform { if (self::isVirtualBoxGuest()) { usleep(200000); + + return true; } + + return false; } /**