Let user specify existing PREFIX/RISCV for toolchain installs#334

Merged

jerryz123 merged 1 commit intodevfrom build-script-patch

Dec 13, 2019

+51-48

Commits on Dec 2, 2019

Allow user to specify toolchain install prefix
jerryz123
committed