From dd0fd15e9e5238e287ed244e8bb2c56024ddf871 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Tue, 20 Feb 2024 16:50:14 +0100
Subject: [PATCH] fix sh syntax

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b017b1440..6a61da923 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -171,7 +171,7 @@ pipeline
                                 sh 'make package ARGS="--python-version=3.8,2 --target-wheel-platform=manylinux_2_27_x86_64 --chrono"'
                                 sh '''
                                     #!/bin/bash
-                                    if [[ "${BRANCH_NAME:0:3}" != "PR-" ]]; then
+                                    if [ "${BRANCH_NAME}" != "PR-*" ]; then
                                         make package ARGS="--packages=AdditionalMaps,Town06_Opt,Town07_Opt,Town11,Town12,Town13,Town15 --target-archive=AdditionalMaps --clean-intermediate --python-version=3.8,2 --target-wheel-platform=manylinux_2_27_x86_64"'
                                     fi
                                 '''