Also make sure filesystem is up to date before generating binary links, refs #9627

main
Jordi Boggiano 3 years ago
parent 68f86be726
commit 8427b6c8ed
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC

@ -53,6 +53,9 @@ class BinaryInstaller
if (!$binaries) {
return;
}
Platform::workaroundFilesystemIssues();
foreach ($binaries as $bin) {
$binPath = $installPath.'/'.$bin;
if (!file_exists($binPath)) {

Loading…
Cancel
Save