From f7f473014c6a900f0ddb28054d81407ddadcb61a Mon Sep 17 00:00:00 2001 From: Karol Gugala Date: Wed, 18 May 2022 14:06:29 +0200 Subject: [PATCH] CI: xilinx: fix license condition Signed-off-by: Karol Gugala --- .github/workflows/scripts/xilinx.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index 4761618a..ee96ecfa 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -56,7 +56,7 @@ echo "----------------------------------------" # Create a tunnel to the server which has the Xilinx licenses and port forward # them. -if [ ! -z "$GHA_SSH_TUNNEL_CONFIG_SECRET_NAME" ]; then +if [[ ! -z "$GHA_SSH_TUNNEL_CONFIG_SECRET_NAME" ]]; then echo echo "Xilinx license server ssh key found, checking the license"