Merge pull request #713 from Karl-Han/site_setup_fallback

Add fallback on site-setup.sh if no RISCV/site-setup.sh exists.
This commit is contained in:
Rose Thompson 2024-04-06 20:24:39 -05:00 committed by GitHub
commit 7ec6c7ee51
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -27,6 +27,10 @@ export PATH=$WALLY/bin:$PATH
ulimit -s 100000
# 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"