From c622896876c37f9013f8a02c2e99537409080cbb Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Tue, 3 Sep 2019 15:03:29 +0200
Subject: [PATCH] CI: fix in pipeline

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

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