build/build.ps1: Updated Publish task to zip the result of the publish directory
diff --git a/build/build.ps1 b/build/build.ps1
index 4d1137d..081cf03 100644
--- a/build/build.ps1
+++ b/build/build.ps1
@@ -232,9 +232,16 @@
Write-Host "Publishing $tool..." -ForegroundColor Magenta
$toolName = [io.path]::GetFileNameWithoutExtension($tool)
+ $outputDirectory = "$publish_directory\$toolName"
Exec {
- & dotnet.exe publish $tool --configuration $Configuration --output "$publish_directory\$toolName"
+ & dotnet.exe publish $tool --configuration $Configuration --output $outputDirectory
}
+
+ # Zip up the result of the publish
+ $outputFile = "$outputDirectory.zip"
+ if (Test-Path $outputFile) { Remove-Item $outputFile }
+ Add-Type -assembly "system.io.compression.filesystem"
+ [io.compression.zipfile]::CreateFromDirectory($outputDirectory, $outputFile)
}
}