CI: xilinx: fix license condition

Signed-off-by: Karol Gugala <kgugala@antmicro.com>
This commit is contained in:
Karol Gugala 2022-05-18 14:06:29 +02:00 committed by Hans Baier
parent c2c7dcabbf
commit 846c3d441d
1 changed files with 1 additions and 1 deletions

View File

@ -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"