From 7668520389ff6379e6f8bb042151183da3dfbcdd Mon Sep 17 00:00:00 2001 From: Karol Gugala Date: Tue, 26 Apr 2022 21:28:00 +0200 Subject: [PATCH] CI: xilinx: disown ssh Signed-off-by: Karol Gugala --- .github/workflows/scripts/xilinx.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index 70dc71ec..e61532c5 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -97,6 +97,7 @@ EOF export GIT_SSH_COMMAND="ssh -F $(pwd)/ssh_config -f -N" ${GIT_SSH_COMMAND} xilinx-license & + disown $! ( source /opt/Xilinx/Vivado/2017.2/settings64.sh