execute.sh, flash.sh: Adjust path to openocd install tree
2 files changed