From 871957b74f3ab277f84135240a5dc9d4d2fd9151 Mon Sep 17 00:00:00 2001
From: Karol Gugala <kgugala@antmicro.com>
Date: Wed, 18 May 2022 15:07:16 +0200
Subject: [PATCH] CI: use variable to force license server connection

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
---
 .github/workflows/Pipeline.yml      | 2 ++
 .github/workflows/scripts/xilinx.sh | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Pipeline.yml b/.github/workflows/Pipeline.yml
index 4bb79f2a..4fab5215 100644
--- a/.github/workflows/Pipeline.yml
+++ b/.github/workflows/Pipeline.yml
@@ -61,6 +61,8 @@ jobs:
 
       - name: Xilinx Setup
         run: .github/workflows/scripts/xilinx.sh
+        env:
+          USE_LICENSE_SERVER: "true"
 
       - name: Build
         run: make build --output-sync=target --warn-undefined-variables -j$(nproc)
diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh
index f8570eef..4f543db0 100755
--- a/.github/workflows/scripts/xilinx.sh
+++ b/.github/workflows/scripts/xilinx.sh
@@ -58,7 +58,7 @@ echo "----------------------------------------"
 # them.
 echo "xilinx secret"
 echo $GHA_SSH_TUNNEL_CONFIG_SECRET_NAME
-if [[ ! -z "$GHA_SSH_TUNNEL_CONFIG_SECRET_NAME" ]]; then
+if [[ ! -z "$USE_LICENSE_SERVER" ]]; then
 
 	echo
 	echo "Xilinx license server ssh key found, checking the license"