From edb74831dabf79686eb5a92fbf8fc06e6b267d35 Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Tue, 3 Sep 2019 18:30:04 +0200
Subject: [PATCH] CI: proper pipeline fix?

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
---
 ci-scripts/Jenkinsfile-gitlab | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab
index f80a141ee9..128a5fecfc 100644
--- a/ci-scripts/Jenkinsfile-gitlab
+++ b/ci-scripts/Jenkinsfile-gitlab
@@ -57,8 +57,8 @@ pipeline {
 
                     echo '\u2705 \u001B[32mVerify Parameters\u001B[0m'
                     def allParametersPresent = true
-                    if (${TESTPLATFORM_OWNER} != null) {
-                        echo "Platform is ${TESTPLATFORM_OWNER}"
+                    if (env.TESTPLATFORM_OWNER) {
+                        echo "Platform is ${env.TESTPLATFORM_OWNER}"
                     }
 
                     if (params.RedHatRemoteServer == null) {