From 90cfa4f86457b922221709dfa43a3d4cfc5a7e1f Mon Sep 17 00:00:00 2001 From: Karol Gugala Date: Tue, 26 Apr 2022 18:20:31 +0200 Subject: [PATCH] CI: xilinx: create symlink to vivado Signed-off-by: Karol Gugala --- .github/workflows/scripts/xilinx.sh | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/.github/workflows/scripts/xilinx.sh b/.github/workflows/scripts/xilinx.sh index 8849532c..762e0a0e 100755 --- a/.github/workflows/scripts/xilinx.sh +++ b/.github/workflows/scripts/xilinx.sh @@ -32,18 +32,11 @@ echo "----------------------------------------" if [ x"$XRAY_SETTINGS" = x"kintex7" ]; then echo "Using Xilinx Vivado Design Edition for $XRAY_SETTINGS build." echo - echo "Making /opt mount rw" - sudo mount -o remount,rw /opt - echo - echo "Replacing /opt/Xilinx link." - sudo rm -f Xilinx - sudo ln -s Xilinx-design Xilinx + ln -s /mnt/aux/Xilinx-design /opt/Xilinx ls -l Xilinx echo - echo "Making /opt mount ro" - sudo mount -o remount,ro /opt - echo else + ln -s /mnt/aux/Xilinx /opt/Xilinx echo "Using Xilinx Vivado WebPack Edition for $XRAY_SETTINGS build." ls -l Xilinx fi