Add fallback on site-setup.sh if no RISCV/site-setup.sh exists.

This commit is contained in:
Kunlin Han 2024-04-06 17:06:06 -07:00
parent cc287a037a
commit fd2f88ef33

View File

@ -27,6 +27,10 @@ export PATH=$WALLY/bin:$PATH
ulimit -s 100000 ulimit -s 100000
# load site licenses and tool locations # load site licenses and tool locations
source $RISCV/site-setup.sh if [ -f ${RISCV}/site-setup.sh ]; then
source ${RISCV}/site-setup.sh
else
source ${WALLY}/site-setup.sh
fi
echo "setup done" echo "setup done"