Fix for Issue #2729

Allows PowerShell to change the name of the downloaded directory correctly.
This commit is contained in:
Neil McNeight 2018-02-06 15:26:06 -06:00 committed by GitHub
parent 7d96916995
commit f136732dcd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -160,7 +160,7 @@ function vcpkgExtractFile( [Parameter(Mandatory=$true)][string]$file,
}
else
{
Move-Item -Path $destinationPartial -Destination $output
Move-Item -Path "$destinationPartial" -Destination $output
}
}
@ -220,4 +220,4 @@ function vcpkgFormatElapsedTime([TimeSpan]$ts)
}
throw $ts
}
}