scripts/download-env.sh should run inside environment?
Closed this issue · 1 comments
mithro commented
Is there actually a reason we prevent scripts/download-env.sh from running inside the environment?
I think it use to be a problem when we needed to source the Xilinx settings.sh file?