diff options
author | Nate McMaster <natemcmaster@users.noreply.github.com> | 2018-10-12 02:20:46 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-12 02:20:46 +0300 |
commit | b833d1df88aa187fed81908073fdeed291b8ea8d (patch) | |
tree | fc4a27aa577a0aed814ad820312442f49a9c913d /run.ps1 | |
parent | 867a9423f7440cdeb240ef2d13e34362f332c56b (diff) |
Set DOTNET_HOME to repo dir when `--ci` is specified (#1490)
Diffstat (limited to 'run.ps1')
-rw-r--r-- | run.ps1 | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -201,6 +201,7 @@ if (Test-Path $ConfigFile) { if (!$DotNetHome) { $DotNetHome = if ($env:DOTNET_HOME) { $env:DOTNET_HOME } ` + elseif ($CI) { Join-Path $PSScriptRoot '.dotnet' } ` elseif ($env:USERPROFILE) { Join-Path $env:USERPROFILE '.dotnet'} ` elseif ($env:HOME) {Join-Path $env:HOME '.dotnet'}` else { Join-Path $PSScriptRoot '.dotnet'} |