C#: Download nuget.exe to the source directory in case it is not installed.

This commit is contained in:
Michael Nebel
2023-08-28 13:28:36 +02:00
parent b6c2ea520b
commit 6e4865ddd9
3 changed files with 58 additions and 14 deletions

View File

@@ -1,6 +1,7 @@
using Semmle.Util.Logging;
using System.Collections.Generic;
using System.Linq;
using Semmle.Util;
using Semmle.Util.Logging;
namespace Semmle.Autobuild.Shared
{
@@ -190,7 +191,7 @@ namespace Semmle.Autobuild.Shared
})
&
BuildScript.DownloadFile(
"https://dist.nuget.org/win-x86-commandline/latest/nuget.exe",
FileUtils.nugetExeUrl,
path,
e => builder.Log(Severity.Warning, $"Failed to download 'nuget.exe': {e.Message}"))
&