toolchains: Optionally build riscv-openocd with a separate script

This commit is contained in:
Albert Ou
2019-10-02 13:16:01 -07:00
parent 2f1e5e994b
commit b4ed5eb61b
3 changed files with 28 additions and 0 deletions