From 71e4e3a4367ae2a642ddeb4038e98f7955838b9a Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Fri, 10 Jan 2020 11:31:52 +0100 Subject: [PATCH] oops --- tools/jenkins/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 3f24abedb5..b4ae59eeaa 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -81,7 +81,7 @@ if [ -f /mnt/c/Windows/System32/WindowsPowerShell/v1.0/powershell.exe ]; then PATH="/mnt/c/Windows/System32/WindowsPowerShell/v1.0/:$PATH" major=$(powershell.exe -command "[environment]::OSVersion.Version.Major" | sed 's/\r//g') build=$(powershell.exe -command "[environment]::OSVersion.Version.Build"| sed 's/\r//g') - ver= "$major v$build - WSL $os $ver" + ver="$major v$build - WSL $os $ver" os=Windows fi -- 2.20.1