From 36ac74d7c6fc765632465b7b3d268e2703a70bc4 Mon Sep 17 00:00:00 2001 From: RichardG867 Date: Thu, 6 Apr 2023 20:07:50 -0300 Subject: [PATCH] Jenkins: Fix build --- .ci/Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile index 250c2860c..a57d3c715 100644 --- a/.ci/Jenkinsfile +++ b/.ci/Jenkinsfile @@ -286,10 +286,10 @@ pipeline { dir(dynarecNames[dynarec]) { dir("$os - $archName") { ret = runBuild("-b \"$packageName\" \"$arch\" ${presetFlags[preset]} ${dynarecFlags[dynarec]} ${osFlags[os]} $buildFlags") - if (presets.size == 1) + if (presets.size() == 1) writeFile file: '.forcedir', text: '' } - if ((osArchs.size == 1) && (thisOsArchs.size == 1)) + if ((osArchs.size() == 1) && (thisOsArchs.size() == 1)) writeFile file: '.forcedir', text: '' }