From 142730f64a6e48d30b13bbb7c7d454c5cc06eee0 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Mon, 27 May 2019 20:21:59 +0200 Subject: [PATCH] Updated jenkins file --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5979910..f8e7f90 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -179,7 +179,7 @@ pipeline { environment { CMAKE_BUILD_TYPE="RelWithDebInfo" /* we build out libraries every time in release mode! (Performance improve) */ - BUILD_ARCH_TARGET=x86 + BUILD_ARCH_TARGET="x86" } steps {