diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index 22faf100..70dc71ec 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -96,7 +96,7 @@ EOF echo "127.0.0.1 xlic.int" | sudo tee -a /etc/hosts export GIT_SSH_COMMAND="ssh -F $(pwd)/ssh_config -f -N" - ${GIT_SSH_COMMAND} xilinx-license + ${GIT_SSH_COMMAND} xilinx-license & ( source /opt/Xilinx/Vivado/2017.2/settings64.sh